Simple bug fix to CFGReducer.