Fix eq_congruent_preg.

This was a copy past error from the definition of eq_congruent.
The special "power" of eq_congruent_preg is the additional negation