Milestone: working CFGReducer pass.