Updated to normalise disjunctions on the LHS of GCIs;
Updated to perform naive nominal absorption on the fly;