updates to CFGReducer