org.kiama.example.imperative.ImperativeTree
Statement sequences.
The set of all variable references in the statement.
Statement sequences.