Push congruence unit test