Predicate RangeUtils::backEdge

Holds if inp is an input to phi along a back edge.

predicate backEdge(SsaPhiNode phi, SsaVariable inp, SsaReadPositionPhiInputEdge edge)