On the determining of the form of congruences in abstract algebras with equationally definable constant elements