start with subgraph and booleanwidth; todo adapt all code to new graph
structure

lists are changed to dicts