count_spanning_tree