Method doesApproximation

ir/state.cpp:1339–1341

}

void State::doesApproximation(string &&name, optional<expr> e) {
  used_approximations.emplace(std::move(name), std::move(e));
}

void State::addQuantVar(const expr &var) {
  quantified_vars.emplace(var);