(Program
  (Package
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (
      (Select
        (
          (Pattern
            (Receive
            { (Identifier)
            ->(Identifier) }
              (ReceiveOperator
                (Identifier)))
            (Call
              (Identifier)
              (Identifier)
              (Empty)))
          (Pattern
            (Send
            { (Identifier)
            ->(Identifier) }
              (Identifier))
            (Call
              (Identifier)
              (Integer)
              (Empty)))
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Call
                  (MemberAccess
                    (Identifier)
                    (Identifier))
                { (Integer)
                ->(Integer) }
                  (Empty))))
            (
              (Call
                (Identifier)
                (Integer)
                (Empty))
            {+(PostDecrement
              {+(Identifier)+})+}
            {+(If
              {+(
                {+(Identifier)+})+}
              {+(
                {+(Send
                  {+(Identifier)+}
                  {+(Composite
                    {+(Identifier)+}
                    {+(
                      {+(Identifier)+}
                      {+(Identifier)+})+})+})+}
                {+(Return
                  {+(Empty)+})+})+}
              {+(Empty)+})+}
            {-(PostIncrement
              {-(Identifier)-})-}
            {-(If
              {-(
                {-(Identifier)-})-}
              {-(
                {-(Send
                  {-(Identifier)-}
                  {-(Composite
                    {-(Identifier)-}
                    {-(
                      {-(Identifier)-}
                      {-(Identifier)-})-})-})-}
                {-(Return
                  {-(Empty)-})-})-}
              {-(Empty)-})-}))
          (Pattern
            (DefaultPattern
              ([]))
            (Return
              (Empty)))))
      (Select
        (
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
              { (Identifier)
              ->(Identifier) }))
            ([]))
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Identifier)))
            ([]))
        {+(Pattern
          {+(DefaultPattern
            {+([])+})+}
          {+([])+})+})))))