LMR: less reduction for double checks