Program: 24133
Project: 24133
Buggy source:
private 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") || 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):
private 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") || 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;
}