Method getFreshNondetVar

ir/state.cpp:1351–1355

}

expr State::getFreshNondetVar(const char *prefix, const expr &type) {
  expr var = expr::mkFreshVar(prefix, type);
  addNonDetVar(var);
  return var;
}

void State::addFnQuantVar(const expr &var) {
  fn_call_qvars.emplace(var);