(Program
  (AnonymousFunction
  {-(Identifier)-}
  { (Binary
      (Identifier)
      (Other "+")
      (IntegerLiteral))
  ->(Identifier) }))