Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogg...

...ing.c -- using the counterexample cache affects the total number of queries issued to the solver.