Local / Global Reachability Analysis.
Added transitive call analysis.