Remove bugs from new Congruence version