added AtMostNValue with disequalities

from Fages and Lapegue, AIJ
Merge branch 'develop' into feature-nvalue
Merge branch 'feature-nvalue' into develop