Pr_circuit_minimum_spanning_tree