Program: 23065
Project: 23065
Buggy source:
protected boolean hasTypeName(JsonObject json,String prefix){
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  return false;
}

Fixed version (ground truth):
protected boolean hasTypeName(JsonObject json,String prefix){
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  if (json.has(prefix + "String_Node_Str") || json.has("String_Node_Str" + prefix + "String_Node_Str"))   return true;
  return false;
}