added disequality constraints for rep
removed incorrect commented out code to enforce disequality constraints