219       StateMgr(getContext(), mgr.getStoreManagerCreator(),  in ExprEngine()
221       SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()),  in ExprEngine()
222       svalBuilder(StateMgr.getSValBuilder()), ObjCNoRet(mgr.getASTContext()),  in ExprEngine()
237   ProgramStateRef state = StateMgr.getInitialState(InitLoc);  in getInitialState()
340   ProgramStateManager &StateMgr = State->getStateManager();  in createTemporaryRegionIfNeeded()  local
341   MemRegionManager &MRMgr = StateMgr.getRegionManager();  in createTemporaryRegionIfNeeded()
342   StoreManager &StoreMgr = StateMgr.getStoreManager();  in createTemporaryRegionIfNeeded()
900   CleanedState = StateMgr.removeDeadBindingsFromEnvironmentAndStore(  in removeDead()
923     assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) &&  in removeDead()
926     assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) &&  in removeDead()
933         StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);  in removeDead()