70   StratifiedSets<InstantiatedValue> Sets;  member in CFLSteensAAResult::FunctionInfo
78     return Sets;  in getStratifiedSets()
131     : Sets(std::move(S)) {  in FunctionInfo()
160       auto &Link = Sets.getLink(SetIndex);  in FunctionInfo()
179     auto RetInfo = Sets.find(InstantiatedValue{RetVal, 0});  in FunctionInfo()
188       auto ParamInfo = Sets.find(InstantiatedValue{&Param, 0});  in FunctionInfo()
309   auto &Sets = MaybeInfo->getStratifiedSets();  in query()  local
310   auto MaybeA = Sets.find(InstantiatedValue{ValA, 0});  in query()
314   auto MaybeB = Sets.find(InstantiatedValue{ValB, 0});  in query()
320   auto AttrsA = Sets.getLink(SetA.Index).Attrs;  in query()
321   auto AttrsB = Sets.getLink(SetB.Index).Attrs;  in query()