...
The Java abstract syntax classes include a separate composite hierarchy (called IfForm for representing boolean
expression as conditionals (the type ifExp in boolsimp.ss). This representation includes only three concrete variant classes, making it much easier to write the visitors that perform normalization, evaluation, and clean-up.
...