(Program
(Function
(Empty)
(Identifier)
(
(VariableDeclaration
(Assignment
(Float)))
(Yield
{ (Update
{-(Identifier)-})
->(Identifier) }))))