INTERNAL: Do not use.
Provides a basic block implementation on control flow elements. That is, a “pre-CFG” where the nodes are (unsplit) control flow elements and the successor releation is
Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables.
Provides logic for calculating reachable control flow nodes.