Only reverse operator arguments when the operator has no redefinition. Fixes a bug with binary operators on optional variables.
Only reverse operator arguments when the operator has no redefinition. Fixes a bug with binary operators on optional variables.

jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc