Added CFGReducer (incomplete)