Characteristic predicate ConstantCondition::ConstantLoopCondition::ConstantLoopCondition

ConstantLoopCondition()