tightening IntExprReduction