Characteristic predicate Constants::SyntacticConstants::ConditionalConstant::ConditionalConstant

ConditionalConstant()