Program: 167044
Project: 167044
Buggy source:
static void addVertexLabel(SqlgGraph sqlgGraph,String schema,String tableName,Map<String,PropertyType> columns){
  BatchManager.BatchModeType batchModeType=flushAndSetTxToNone(sqlgGraph);
  try {
    GraphTraversalSource traversalSource=sqlgGraph.traversal().withStrategies(TopologyStrategy.build().selectFrom(SchemaManager.SQLG_SCHEMA_SCHEMA_TABLES).create());
    List<Vertex> schemas=traversalSource.V().hasLabel(SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_SCHEMA).has("String_Node_Str",schema).toList();
    Preconditions.checkState(!schemas.isEmpty(),"String_Node_Str" + schema + "String_Node_Str");
    Preconditions.checkState(schemas.size() == 1,"String_Node_Str" + schema + "String_Node_Str");
    Preconditions.checkState(tableName.startsWith(SchemaManager.VERTEX_PREFIX));
    Vertex schemaVertex=schemas.get(0);
    Vertex vertex=sqlgGraph.addVertex(T.label,SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_VERTEX_LABEL,"String_Node_Str",tableName.substring(SchemaManager.VERTEX_PREFIX.length()),"String_Node_Str",schema + tableName,"String_Node_Str",LocalDateTime.now());
    schemaVertex.addEdge(SchemaManager.SQLG_SCHEMA_SCHEMA_VERTEX_EDGE,vertex);
    for (    Map.Entry<String,PropertyType> columnEntry : columns.entrySet()) {
      Vertex property=sqlgGraph.addVertex(T.label,SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_PROPERTY,"String_Node_Str",columnEntry.getKey(),"String_Node_Str",columnEntry.getValue().name(),"String_Node_Str",LocalDateTime.now());
      vertex.addEdge(SchemaManager.SQLG_SCHEMA_VERTEX_PROPERTIES_EDGE,property);
    }
  }
  finally {
    sqlgGraph.tx().batchMode(batchModeType);
  }
}

Fixed version (ground truth):
static void addVertexLabel(SqlgGraph sqlgGraph,String schema,String tableName,Map<String,PropertyType> columns){
  BatchManager.BatchModeType batchModeType=flushAndSetTxToNone(sqlgGraph);
  try {
    GraphTraversalSource traversalSource=sqlgGraph.topology();
    List<Vertex> schemas=traversalSource.V().hasLabel(SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_SCHEMA).has("String_Node_Str",schema).toList();
    Preconditions.checkState(!schemas.isEmpty(),"String_Node_Str" + schema + "String_Node_Str");
    Preconditions.checkState(schemas.size() == 1,"String_Node_Str" + schema + "String_Node_Str");
    Preconditions.checkState(tableName.startsWith(SchemaManager.VERTEX_PREFIX));
    Vertex schemaVertex=schemas.get(0);
    Vertex vertex=sqlgGraph.addVertex(T.label,SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_VERTEX_LABEL,"String_Node_Str",tableName.substring(SchemaManager.VERTEX_PREFIX.length()),"String_Node_Str",schema + tableName,"String_Node_Str",LocalDateTime.now());
    schemaVertex.addEdge(SchemaManager.SQLG_SCHEMA_SCHEMA_VERTEX_EDGE,vertex);
    for (    Map.Entry<String,PropertyType> columnEntry : columns.entrySet()) {
      Vertex property=sqlgGraph.addVertex(T.label,SchemaManager.SQLG_SCHEMA + "String_Node_Str" + SchemaManager.SQLG_SCHEMA_PROPERTY,"String_Node_Str",columnEntry.getKey(),"String_Node_Str",columnEntry.getValue().name(),"String_Node_Str",LocalDateTime.now());
      vertex.addEdge(SchemaManager.SQLG_SCHEMA_VERTEX_PROPERTIES_EDGE,property);
    }
  }
  finally {
    sqlgGraph.tx().batchMode(batchModeType);
  }
}