96                                   const Environment &Env2,  in compareDistinctValues()  argument
104   switch (Model.compare(Type, Val1, Env1, Val2, Env2)) {  in compareDistinctValues()
121                                  const Environment &Env2,  in joinDistinctValues()  argument
147                  A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()),  in joinDistinctValues()
154     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);  in joinDistinctValues()
208                                   const Environment &Env2,  in compareKeyToValueMaps()  argument
223         !compareDistinctValues(K->getType(), *Val, Env1, *It->second, Env2,  in compareKeyToValueMaps()
235              const Environment &Env1, const Environment &Env2,  in joinLocToVal()  argument
251             Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) {  in joinLocToVal()
814                                const Environment &Env2, Environment &JoinedEnv,  in joinValues()  argument
827   return joinDistinctValues(Ty, *Val1, Env1, *Val2, Env2, JoinedEnv, Model);  in joinValues()