DCE using revCFG -- incomplete