Predicate DataFlow::AdditionalFlowStep::jumpStep

Holds if pred → succ should be considered a value-preserving data flow edge that crosses calling contexts.

Import path

import javascript

predicate jumpStep(Node pred, Node succ)