Make possible to rewrite discrete expressions with rules#983

cprudhom wants to merge 2 commits intomasterchocoteam/choco-solver:masterfrom

dev_rewritechocoteam/choco-solver:dev_rewriteCopy head branch name to clipboard