Support for global aliases and external vtables.

The analysis can now handle the case when vtables are defined in other
compilation units. We also add support for when the function being called
is a global alias of another function.