(Program (If (Identifier) (Identifier) (Empty)))