Program: 61426
Project: 61426
Buggy source:
@SuppressWarnings({"String_Node_Str","String_Node_Str"}) private VariablePlaceholder createParticularTOS(CtStatement ingredientStatement,Set<String> targetPlaceholders,List<CtVariableAccess> varAccessCollected){
  Map<String,String> placeholderVarNamesMappings=new HashMap<>();
  MapList<String,CtVariableAccess> placeholdersToVariables=new MapList<>();
  List<CtVariableAccess> variablesNotModified=new ArrayList<>();
  int nrvar=0;
  for (int i=0; i < varAccessCollected.size(); i++) {
    CtVariableAccess<?> variableUnderAnalysis=varAccessCollected.get(i);
    if (!targetPlaceholders.contains(variableUnderAnalysis.getVariable().getSimpleName())) {
      variablesNotModified.add(variableUnderAnalysis);
      continue;
    }
    if (VariableResolver.isStatic(variableUnderAnalysis.getVariable())) {
      variablesNotModified.add(variableUnderAnalysis);
      continue;
    }
    String abstractName="String_Node_Str";
    if (!placeholderVarNamesMappings.containsKey(variableUnderAnalysis.getVariable().getSimpleName())) {
      String currentTypeName=variableUnderAnalysis.getVariable().getType().getSimpleName();
      if (currentTypeName.contains("String_Node_Str")) {
        abstractName=variableUnderAnalysis.getVariable().getSimpleName();
      }
 else {
        abstractName=String.format(PLACEHOLDER_VAR,currentTypeName,nrvar);
      }
      placeholderVarNamesMappings.put(variableUnderAnalysis.getVariable().getSimpleName(),abstractName);
      nrvar++;
    }
 else {
      abstractName=placeholderVarNamesMappings.get(variableUnderAnalysis.getVariable().getSimpleName());
    }
    placeholdersToVariables.add(abstractName,variableUnderAnalysis);
  }
  VariablePlaceholder ingredient=new VariablePlaceholder(placeholdersToVariables,placeholderVarNamesMappings,variablesNotModified);
  return ingredient;
}

Fixed version (ground truth):
@SuppressWarnings({"String_Node_Str","String_Node_Str"}) private VariablePlaceholder createParticularTOS(CtStatement ingredientStatement,Set<String> targetPlaceholders,List<CtVariableAccess> varAccessCollected){
  Map<String,String> placeholderVarNamesMappings=new HashMap<>();
  MapList<String,CtVariableAccess> placeholdersToVariables=new MapList<>();
  List<CtVariableAccess> variablesNotModified=new ArrayList<>();
  int nrvar=0;
  for (int i=0; i < varAccessCollected.size(); i++) {
    CtVariableAccess<?> variableUnderAnalysis=varAccessCollected.get(i);
    if (!targetPlaceholders.contains(variableUnderAnalysis.getVariable().getSimpleName())) {
      variablesNotModified.add(variableUnderAnalysis);
      continue;
    }
    if (VariableResolver.isStatic(variableUnderAnalysis.getVariable())) {
      variablesNotModified.add(variableUnderAnalysis);
      continue;
    }
    String abstractName="String_Node_Str";
    if (!placeholderVarNamesMappings.containsKey(variableUnderAnalysis.getVariable().getSimpleName())) {
      String currentTypeName=variableUnderAnalysis.getVariable().getType().getSimpleName();
      if (currentTypeName.contains("String_Node_Str")) {
        abstractName=variableUnderAnalysis.getVariable().getSimpleName();
      }
 else {
        abstractName=String.format(PLACEHOLDER_VAR,currentTypeName,nrvar);
      }
      placeholderVarNamesMappings.put(variableUnderAnalysis.getVariable().getSimpleName(),abstractName);
      nrvar++;
    }
 else {
      abstractName=placeholderVarNamesMappings.get(variableUnderAnalysis.getVariable().getSimpleName());
    }
    placeholdersToVariables.add(abstractName,variableUnderAnalysis);
  }
  if (!placeholdersToVariables.isEmpty()) {
    VariablePlaceholder ingredient=new VariablePlaceholder(placeholdersToVariables,placeholderVarNamesMappings,variablesNotModified);
    return ingredient;
  }
 else   return null;
}