The subgraph visualizations presented in the paper were generated manually from their computation trees (CTrees). The current code for mapping CTrees to subgraphs may make errors due to mixing up the node order. A corrected version of the visualization code will be made available in the future.