All-Diff are replaced by Not-Equal constraints when on 2 variables only