SteinerTree, kruskal + reformat