Predicate signature TypeTrackingInput::levelStepCall

Holds if there is a level step from nodeFrom to nodeTo that may depend on the call graph.