361 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
365   return State->get<RefBindings>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
370   return State->set<RefBindings>(Sym, Val);  in setRefBinding()
374   return State->remove<RefBindings>(Sym);  in removeRefBinding()
2666     state = state->remove<RefBindings>(sym);  in VisitSymbol()
3623   RefBindingsTy B = state->get<RefBindings>();  in evalAssume()
3629   RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>();  in evalAssume()
3642     state = state->set<RefBindings>(B);  in evalAssume()
3816   RefBindingsTy B = state->get<RefBindings>();  in checkEndFunction()
3840   B = state->get<RefBindings>();  in checkEndFunction()
3867   RefBindingsTy B = state->get<RefBindings>();  in checkDeadSymbols()
3901   RefBindingsTy::Factory &F = state->get_context<RefBindings>();  in checkDeadSymbols()
3902   B = state->get<RefBindings>();  in checkDeadSymbols()
3909   state = state->set<RefBindings>(B);  in checkDeadSymbols()
3916   RefBindingsTy B = State->get<RefBindings>();  in printState()