testable congruence closure
propagations with tests
more test detect a bug