This package provides control-flow graph utilities.