(Program
  (Function
  { (Identifier)
  ->(Identifier) }
  {+(Identifier)+}
  {+(Identifier)+}
    (ExpressionStatements
    {+(ExpressionStatements
        (Identifier))+}
    {-(Return
        (Boolean))-})))