fixed a few non-optimised things

This makes coreStar slightly faster

Conflicts:
	src/prover/prover.ml