(Statements
  (Package
    (Identifier))
  (Function
    (Identifier)
    (Statements
      (Select
        (Statements
          (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))))
            (Statements
              (Call
                (Identifier)
                (Integer)
                (Empty))
              (PostDecrement
                (Identifier))
              (If
                (Statements
                  (Identifier))
                (Statements
                  (Send
                    (Identifier)
                    (Composite
                      (Identifier)
                      (Statements
                        (Identifier)
                        (Identifier))))
                  (Return
                    (Empty)))
                (Empty))))
          (DefaultPattern
            (Statements))))
      (Select
        (Statements
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Identifier)))
            (Statements))
          (Pattern
            (Receive
              (Empty)
              (ReceiveOperator
                (Identifier)))
            (Statements))
          (DefaultPattern
            (Statements)))))))