removing NonExceptionalCFG