Characteristic predicate CompareNode :: CompareNode
CompareNode
(
)