improved path calculation: building the transitive closure of
reachability iteratively with Floyd-Warshall-algorithm instead of
computing it recursively