SDF syntax for LabeledStmt and if, some semantic rules used if and put expressions there as branches, but I think it's inappropriate, in java, we only use stmts as branches, so I changed those usages to ifAux: an internal if function that accepts anything as branches. If I don't change these rules, we will need a backup broader if syntax. Backup syntax is used in other cases, but here not necessary.