This package supports a control-dependence graph.