Method appendIf

smt/solver.cpp:274–276

  template <typename T1, typename T2>
  void appendIf(const char *probe, T1 &&then, T2 &&els) {
    tactics.appendIf(probe, std::move(then), std::move(els));
  }

  void add(Z3_ast ast) { goal.add(ast); }
  void reset_solver()  { goal.reset(); }