Program: 160679
Project: 160679
Buggy source:
private void writeVisualScenes(JsWriter writer){
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  for (  String materialId : converted.keySet()) {
    writer.writeln("String_Node_Str");
    writer.indent();
    writer.writeln("String_Node_Str");
    writer.writeln("String_Node_Str" + materialId + "String_Node_Str");
    Set<String> geometryIds=converted.get(materialId);
    writer.writeln("String_Node_Str");
    writer.indent();
    for (    String geometryId : geometryIds) {
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str" + geometryId + "String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
    }
    writer.unindent();
    writer.writeln("String_Node_Str");
    writer.unindent();
    writer.writeln("String_Node_Str");
  }
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
}

Fixed version (ground truth):
private void writeVisualScenes(JsWriter writer){
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.indent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  for (  String materialId : converted.keySet()) {
    writer.writeln("String_Node_Str");
    writer.indent();
    writer.writeln("String_Node_Str");
    writer.writeln("String_Node_Str" + materialId + "String_Node_Str");
    Set<String> geometryIds=converted.get(materialId);
    writer.writeln("String_Node_Str");
    writer.indent();
    for (    String geometryId : geometryIds) {
      writer.writeln("String_Node_Str");
      writer.indent();
      writer.writeln("String_Node_Str");
      writer.writeln("String_Node_Str" + geometryId + "String_Node_Str");
      writer.unindent();
      writer.writeln("String_Node_Str");
    }
    writer.unindent();
    writer.writeln("String_Node_Str");
    writer.unindent();
    writer.writeln("String_Node_Str");
  }
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
  writer.unindent();
  writer.writeln("String_Node_Str");
}