Bug fixing in Int{Eq,Lt,Le}ReifBuilder + remove MUL_OCC_VAR_PROP property
Merge branch 'feature-mzn' into develop
Merge branch 'develop' into feat-ad