LMR: reduce more if SEE<0 and static eval + futility margin <= alpha