Added a limit to the number of developments the prover will perform to l...

...imit combinatorial explosion.