408     const semantics::UnorderedSymbolSet &seenProcs) {  in GetSeenProcs()  argument
410   auto ordered{semantics::OrderBySourcePosition(seenProcs)};  in GetSeenProcs()
425     semantics::UnorderedSymbolSet seenProcs);
428     semantics::UnorderedSymbolSet seenProcs);
432     semantics::UnorderedSymbolSet seenProcs) {  in CharacterizeProcedure()  argument
435   if (seenProcs.find(symbol) != seenProcs.end()) {  in CharacterizeProcedure()
436     std::string procsList{GetSeenProcs(seenProcs)};  in CharacterizeProcedure()
443   seenProcs.insert(symbol);  in CharacterizeProcedure()
462                       subp.result(), context, seenProcs)}) {  in CharacterizeProcedure()
478                              *arg, context, seenProcs)}) {  in CharacterizeProcedure()
505                 CharacterizeProcedure(*interfaceSymbol, context, seenProcs)  in CharacterizeProcedure()
532                     binding.symbol(), context, seenProcs)}) {  in CharacterizeProcedure()
549             return CharacterizeProcedure(use.symbol(), context, seenProcs);  in CharacterizeProcedure()
557             return CharacterizeProcedure(assoc.symbol(), context, seenProcs);  in CharacterizeProcedure()
582     semantics::UnorderedSymbolSet seenProcs) {  in CharacterizeDummyProcedure()  argument
583   if (auto procedure{CharacterizeProcedure(symbol, context, seenProcs)}) {  in CharacterizeDummyProcedure()
651     semantics::UnorderedSymbolSet seenProcs) {  in CharacterizeDummyArgument()  argument
659                  CharacterizeDummyProcedure(symbol, context, seenProcs)}) {  in CharacterizeDummyArgument()
790     semantics::UnorderedSymbolSet seenProcs) {  in CharacterizeFunctionResult()  argument
803                  CharacterizeProcedure(symbol, context, seenProcs)}) {  in CharacterizeFunctionResult()
813   semantics::UnorderedSymbolSet seenProcs;  in Characterize()  local
814   return CharacterizeFunctionResult(symbol, context, seenProcs);  in Characterize()
1034   semantics::UnorderedSymbolSet seenProcs;  in Characterize()  local
1035   return CharacterizeProcedure(original, context, seenProcs);  in Characterize()