Method exec

smt/solver.cpp:207–211

      p(std::move(p)), then(std::move(then)), els(std::move(els)) {}

  TacticResult exec(const Goal &goal) const override {
    bool probe = p.check(goal);
    dbg() << "\nProbe " << p.name << (probe ? " is true\n" : " is false\n");
    return (probe ? then : els)->exec(goal);
  }
};