Predicate signature TypeFlowInput::step
Holds if data can flow from n1 to n2 in one step.
For a given n2, this predicate must include all possible n1 that can flow to n2.
signature predicate step(TypeFlowNode n1, TypeFlowNode n2)Holds if data can flow from n1 to n2 in one step.
For a given n2, this predicate must include all possible n1 that can flow to n2.
signature predicate step(TypeFlowNode n1, TypeFlowNode n2)