Characteristic predicate GuardedControlFlow::ConditionBlock::ConditionBlock

ConditionBlock()