Predicate StepSummary::step

Gets the summary that corresponds to having taken a forwards heap and/or inter-procedural step from nodeFrom to nodeTo.

This predicate is inlined, which enables better join-orders when the call graph construction and type tracking are mutually recursive. In such cases, non-linear recursion involving step will be limited to non-linear recursion for the parts of step that involve the call graph.