{+(Program (Module (Identifier)) (Function (Identifier) (Args) (Switch (Case (Case (Other "expression_list" (Identifier))) (FunctionCall (Identifier))))))+}