A callgraph path checker.