363 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
367   return State->get<RefBindings>(Sym);  in REGISTER_MAP_WITH_PROGRAMSTATE()
372   return State->set<RefBindings>(Sym, Val);  in setRefBinding()
376   return State->remove<RefBindings>(Sym);  in removeRefBinding()
2691     state = state->remove<RefBindings>(sym);  in VisitSymbol()
3672   RefBindingsTy B = state->get<RefBindings>();  in evalAssume()
3678   RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>();  in evalAssume()
3691     state = state->set<RefBindings>(B);  in evalAssume()
3863   RefBindingsTy B = state->get<RefBindings>();  in checkEndFunction()
3887   B = state->get<RefBindings>();  in checkEndFunction()
3914   RefBindingsTy B = state->get<RefBindings>();  in checkDeadSymbols()
3948   RefBindingsTy::Factory &F = state->get_context<RefBindings>();  in checkDeadSymbols()
3949   B = state->get<RefBindings>();  in checkDeadSymbols()
3956   state = state->set<RefBindings>(B);  in checkDeadSymbols()
3963   RefBindingsTy B = State->get<RefBindings>();  in printState()