A version of extractCfg that is much quicker and does not apply any simplifications or dataflow information.
A version of extractCfg that is much quicker and does not apply any simplifications or dataflow information.