Searching for phantom types in method signatures.

This only makes a difference for methods that are defined, but not
called anywhere, since method signatures at each call-site are already
analyzed.