Characteristic predicate ConditionBlock :: ConditionBlock
ConditionBlock
(
)