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