336 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
340   return State->get<RefBindings>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
345   return State->set<RefBindings>(Sym, Val);  in setRefBinding()
349   return State->remove<RefBindings>(Sym);  in removeRefBinding()
2630     state = state->remove<RefBindings>(sym);  in VisitSymbol()
3523   RefBindingsTy B = state->get<RefBindings>();  in evalAssume()
3529   RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>();  in evalAssume()
3542     state = state->set<RefBindings>(B);  in evalAssume()
3688   RefBindingsTy B = state->get<RefBindings>();  in checkEndFunction()
3712   B = state->get<RefBindings>();  in checkEndFunction()
3739   RefBindingsTy B = state->get<RefBindings>();  in checkDeadSymbols()
3773   RefBindingsTy::Factory &F = state->get_context<RefBindings>();  in checkDeadSymbols()
3774   B = state->get<RefBindings>();  in checkDeadSymbols()
3781   state = state->set<RefBindings>(B);  in checkDeadSymbols()
3788   RefBindingsTy B = State->get<RefBindings>();  in printState()