Make EqCongruent creation check semantics