19 const std::unordered_set<symbol_exprt, irep_hash> &bound_symbols,
23 if(src.
id() == ID_symbol)
26 auto b_it = bound_symbols.find(symbol_expr);
27 if(b_it == bound_symbols.end())
31 src.
id() == ID_forall || src.
id() == ID_exists || src.
id() == ID_lambda)
36 auto new_bound_symbols = bound_symbols;
38 for(
const auto &s : binding_expr.variables())
39 new_bound_symbols.insert(s);
43 else if(src.
id() == ID_let)
48 for(
const auto &v : let_expr.values())
51 auto new_bound_symbols = bound_symbols;
53 for(
const auto &s : let_expr.variables())
54 new_bound_symbols.insert(s);