Also save predicate cross-referencing information for messages sent to objects only know at runtime