Provides a library for reasoning about control flow at the granularity of basic blocks.
This is usually much more efficient than reasoning directly at the level of
Provides classes and predicates for working with C/C++ code.
Correct relation for reachability of ControlFlowNodes.
Successor relation for basic blocks.