Try to avoid memory explosion when counterexample is found