implements subgraph merging, leaf pruning, data wrapper for
twlib/treedecomp package, set up of tree decomp algorithm call
Treedecomp algo functional
Reduction test: degree 2, long edge added
incremental changes
implements optimized sph heuristic