remove getConstraints() from Variable
isSatisfied calls isEntailed of new propagators
Merge branch 'feature-fix2' into develop