Expand description

Routines for manipulating the control-flow graph.