(Program (If (Identifier) ( (Call (Identifier) (Empty))) (If (Identifier) ([] {-(Call (Identifier) (Empty))-}) (Empty))))