Implement Z3Context.onError, called when z3 errors out.