Method addNonDetVar

ir/state.cpp:1347–1349

}

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

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