fixed bug in prover
Merge remote-tracking branch 'origin/alt-abd' into alt-abd

Conflicts:
	src/utils/debug.ml