presolve handler for constraint