Method addQuantVar

ir/state.cpp:1343–1345

}

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

void State::addNonDetVar(const expr &var) {
  nondet_vars.emplace(var);