Eliminate more DUMMY remainders