Characteristic predicate VariableTypeInference::AnalyzedConditionGuard::AnalyzedConditionGuard

AnalyzedConditionGuard()