remove IntConstraint

was useless
Merge branch 'feature-ref' into develop