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