PostReachabilityAnalysis

Called after reachability analysis, before any purging