Predicate RangeAnalysis::binaryPhiNode

Holds if node is a phi node with left and right has the only two inputs.

Note that this predicate is symmetric: when it holds for (left, right) it also holds for (right, left).