(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (
      (Identifier))
    ([])
    (
      (Select
        (
          (Pattern
            (Receive
              (Identifier)
              (ReceiveOperator
                (Identifier)))
            (Call
              (Identifier)
              (Identifier)
              (Empty)))
          (Pattern
            (Send
              (Identifier)
              (Identifier))
            (Call
              (Identifier)
              (Integer)
              (Empty)))
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Call
                  (MemberAccess
                    (Identifier)
                    (Identifier))
                  (Integer)
                  (Empty))))
            (
              (Call
                (Identifier)
                (Integer)
                (Empty))
              (PostIncrement
                (Identifier))
              (If
                (
                  (Identifier))
                (
                  (Send
                    (Identifier)
                    (Composite
                      (Identifier)
                      (
                        (Identifier)
                        (Identifier))))
                  (Return
                    (Empty)))
                (Empty))))
          (Pattern
            (DefaultPattern
              ([]))
            (Return
              (Empty)))))
      (Select
        (
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Identifier)))
            ([]))
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Identifier)))
            ([])))))))