use getPredicateOnEdge to fold comparisons through PHI nodes,