(Program
  (Module
    (Identifier))
  (Function
    (Empty)
    (Identifier)
    ([])
    (Select
      (
        (Pattern
          (Receive
          { (Identifier)
          ->(Identifier) }
            (Receive
              (Empty)
              (Identifier)))
          (Call
            (Identifier)
            (Identifier)
            (Empty)))
        (Pattern
          (Send
          { (Identifier)
          ->(Identifier) }
            (Identifier))
          (Call
            (Identifier)
            (Integer)
            (Empty)))
        (Pattern
          (Receive
            (Empty)
            (Receive
              (Empty)
              (Call
                (MemberAccess
                  (Identifier)
                  (Identifier))
              { (Integer)
              ->(Integer) }
                (Empty))))
          (Call
            (Identifier)
            (Integer)
            (Empty)))
        (Pattern
          (DefaultPattern
            ([]))
          (Return
            (Empty)))))))