Method addUndefVar

ir/state.cpp:1361–1363

}

void State::addUndefVar(expr &&var) {
  undef_vars.emplace(std::move(var));
}

void State::resetUndefVars(bool quantify) {
  ((isSource() || !quantify) ? quantified_vars : fn_call_qvars)