265   std::string construct_name, header_name, exit_name;  in ConstructNames()  local
270       header_name = "selection header";  in ConstructNames()
275       header_name = "loop header";  in ConstructNames()
280       header_name = "continue target";  in ConstructNames()
285       header_name = "case entry block";  in ConstructNames()
292   return std::make_tuple(construct_name, header_name, exit_name);  in ConstructNames()
300   std::string construct_name, header_name, exit_name;  in ConstructErrorString()  local
301   std::tie(construct_name, header_name, exit_name) =  in ConstructErrorString()
305   return "The " + construct_name + " construct with the " + header_name + " " +  in ConstructErrorString()
511       std::string construct_name, header_name, exit_name;  in StructuredControlFlowChecks()  local
512       std::tie(construct_name, header_name, exit_name) =  in StructuredControlFlowChecks()
515              << "Construct " + construct_name + " with " + header_name + " " +  in StructuredControlFlowChecks()
556           std::string construct_name, header_name, exit_name;  in StructuredControlFlowChecks()  local
557           std::tie(construct_name, header_name, exit_name) =  in StructuredControlFlowChecks()
562                  << header_name << " <ID> " << header->id();  in StructuredControlFlowChecks()