Program: 24008
Project: 24008
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") || 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") || 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;
}