Improved main version of Diameter() on GraphListS