Floyd-Warshall algorithm and some tests for PA4