Broadening implementation for reachability in ownership analysis.