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