prepare docgraphs for subgraph enum: convert nodes to int, but keep labels
fixed parallel up-to-k subgraph generation: result is now a list of graphs
subgraph enum notebook: showed why naive algorithm must fail (too many combinations)