LMR: reduce more (add reduction/2) if PV node and static eval + margin <= alpha