Characteristic predicate ConstantCondition::ConstantNullnessCondition::ConstantNullnessCondition

ConstantNullnessCondition()