Predicate RangeAnalysis::phiEdge

Holds if A <= B + c can be determined based on a phi node.

Import path

import javascript

predicate phiEdge(ControlFlowNode cfg, Node a, int asign, Node b, int bsign, Bias c)