Integrated SHARP as a tree decomposer and implemented printing of decompositions.