312   ProgramState NewSt = *this;  in BindExpr()  local
313   NewSt.Env = NewEnv;  in BindExpr()
314   return getStateManager().getPersistentState(NewSt);  in BindExpr()
436   ProgramState NewSt(*this);  in makeWithStore()  local
437   NewSt.setStore(store);  in makeWithStore()
438   return getStateManager().getPersistentState(NewSt);  in makeWithStore()
442   ProgramState NewSt(*this);  in cloneAsPosteriorlyOverconstrained()  local
443   NewSt.PosteriorlyOverconstrained = true;  in cloneAsPosteriorlyOverconstrained()
444   return getStateManager().getPersistentState(NewSt);  in cloneAsPosteriorlyOverconstrained()
529   ProgramState NewSt = *St;  in addGDM()  local
530   NewSt.GDM = M2;  in addGDM()
531   return getPersistentState(NewSt);  in addGDM()