Array out of bound exception in PropLexInt

[jgFages]

choco-solver/src/main/java/org/chocosolver/solver/constraints/nary/lex/PropLexInt.java

Line 98 in b441aa9

return ESat.eval(vars[n - 1].getValue() == vars[n - 1 + n].getValue());

I believe ESat.TRUE should be returned instead.

Seems to come from a copy/paste of PropLex in which there is no array out of bound, but which could still be simplified by returning ESat.TRUE as well

[cprudhom]

That is a wrong copy/paste, it should return TRUE if all x[i] == y[i].