leda's MIN_SPANNING_TREE added