Characteristic predicate VariableTypeInference::AnalyzedNegativeConditionGuard::AnalyzedNegativeConditionGuard

AnalyzedNegativeConditionGuard()