Characteristic predicate VariableTypeInference::AnalyzedPositiveConditionGuard::AnalyzedPositiveConditionGuard

AnalyzedPositiveConditionGuard()