Traits
This trait is used to make graph algorithms (like dominator tree and dominator frontier generation) generic over the graph node type for unit testing purposes.
A basic block containing a (possibly empty) list of statements.
An environment used to track variable versions across a CFG.
A statement in the language.