Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c -- using the counterexample cache affects the total number of queries issued to the solver.
Merge pull request #45 from hpalikareva/test-expr-logging

Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogg...
stubs.c: fix use of undeclared identifier PATH_MAX
stubs.c: cleanup