remove unused stub class SpanningTreeDecomposition. add GreedySearch