Function VirtualCFG::makeInterestingCfg