Added test of conjoin to congruence.ml
(It generates a persistent array index out of bounds failure at the moment)
Slightly more elaborate test and more debug print
Test no longer crashes, now merging smaller into larger...
Now test fails instead. Seems that when we add equalities,
we do not take app into account.
So making a = b does not make f(a) = f(b) as it should.