Debug exposing a possible bug...
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd

Conflicts:
	src/prover/congruence.ml