Characteristic predicate ConditionNode :: ConditionNode
ConditionNode
(
)