Include full call graph in Analysis

Note that the log printer still only prints a single reachability
path, since otherwise the output format is non-trivial.