Member predicate AnalyzedPositiveConditionGuard::getAnRhsValue

Gets an abstract value that the right hand side of this definition may evaluate to at runtime.