TraceExternalRootsForReachabilityAnalysis

Called as last phase of reachability analysis.