org.kiama.example.imperative.ImperativeTree
Empty statements.
The set of all variable references in the statement.
Empty statements.