Predicate signature TypeTrackingInput::levelStepNoCall

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