Member predicate RangeSsaDefinition::isGuardPhi
If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.
predicate isGuardPhi(StackVariable v, VariableAccess va, Expr guard, boolean branch)