DependencyGraph.PathChecker
type path_checker = Graph__Path.Check(G).path_checker
val create : G.t -> path_checker
val check_path : path_checker -> G.V.t -> G.V.t -> bool