(Program
(Module
(Identifier))
(Function
(Empty)
(Identifier)
(Label
{ (Identifier)
->(Identifier) }
(Empty))))