Characteristic predicate VoidConversion :: VoidConversion
VoidConversion
(
)