Allow SMT solver to be reset
Work around test framework issue on OS X