Graph.make_ladder(size) added.
mst=G.__class__(G.v())