Predicate CallGraph::callgraphStep

Gets a reference to function type-tracked by t.

This only includes steps that aren’t included in ordinary type-tracking. For example, this steps from a method definition to an access on an instance, but does not step through access paths, as those are included in type-tracking already.