Almost have all paths
Have got all shortest paths from the AllShortestPaths semiring