Member predicate SsaPhiNode::getRephinedVariable

If all inputs to this phi node are (transitive) refinements of the same variable, gets that variable.