Some initial implementation of reachability for ownership analysis.