LMR: less reduction for discovered checks