Predicate VirtualDispatch::exactVirtualMethod

A conservative analysis that returns a single method - if we can establish one - that will be the target of the virtual dispatch.

Method exactVirtualMethod(MethodAccess c)