(Program
(Annotation
(Function
(Empty)
{-(Identifier)-}
(Plus
{ (Identifier)
->(Integer) }
(Integer)))
(Empty)))