constraint generation for equality operators