Bug fix for MIP encoding of reified equality.
Support for MIP encoding reification of disequality Z == (X != Y).