Add statically resolved method to facts.

This means that its visible to the various invocation optimizations.