optimize iffEq and impliesEq Choco constraints + upgrade retrieveIntVars