Moved relax() to digraph
Found the bug in AllPathsFirstStep and got Dijkstra's working in a more pure form.