Enables reachability analysis. Previously, the presence checks were using method invocations and the AOT processing isn't following the methods. Original Pull Request: #2624