Finish up CFGReducer.