Predicate VirtualDispatch::exactCallable

A conservative analysis that returns a single callable - if we can establish one - that will be the target of the call.

Callable exactCallable(Call c)