Characteristic predicate ConversionNode :: ConversionNode
ConversionNode
(
)