still problem with reachable methods inference