162                                        const Environment &PrevEnv,  in widenDistinctValues()  argument
181     bool TruePrev = PrevEnv.proves(PrevBool.formula());  in widenDistinctValues()
186         PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) &&  in widenDistinctValues()
196   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))  in widenDistinctValues()
266                    Environment &CurEnv, const Environment &PrevEnv,  in widenKeyToValueMap()  argument
287         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);  in widenKeyToValueMap()
723 LatticeEffect Environment::widen(const Environment &PrevEnv,  in widen()  argument
725   assert(DACtx == PrevEnv.DACtx);  in widen()
726   assert(ReturnVal == PrevEnv.ReturnVal);  in widen()
727   assert(ReturnLoc == PrevEnv.ReturnLoc);  in widen()
728   assert(LocForRecordReturnVal == PrevEnv.LocForRecordReturnVal);  in widen()
729   assert(ThisPointeeLoc == PrevEnv.ThisPointeeLoc);  in widen()
730   assert(CallStack == PrevEnv.CallStack);  in widen()
731   assert(ResultObjectMap == PrevEnv.ResultObjectMap);  in widen()
732   assert(InitialTargetFunc == PrevEnv.InitialTargetFunc);  in widen()
733   assert(InitialTargetStmt == PrevEnv.InitialTargetStmt);  in widen()
743   assert(DeclToLoc.size() <= PrevEnv.DeclToLoc.size());  in widen()
744   assert(ExprToVal.size() <= PrevEnv.ExprToVal.size());  in widen()
745   assert(ExprToLoc.size() <= PrevEnv.ExprToLoc.size());  in widen()
747   ExprToVal = widenKeyToValueMap(ExprToVal, PrevEnv.ExprToVal, *this, PrevEnv,  in widen()
750   LocToVal = widenKeyToValueMap(LocToVal, PrevEnv.LocToVal, *this, PrevEnv,  in widen()
752   if (DeclToLoc.size() != PrevEnv.DeclToLoc.size() ||  in widen()
753       ExprToLoc.size() != PrevEnv.ExprToLoc.size() ||  in widen()
754       ExprToVal.size() != PrevEnv.ExprToVal.size() ||  in widen()
755       LocToVal.size() != PrevEnv.LocToVal.size())  in widen()