Characteristic predicate ErroneousType :: ErroneousType
ErroneousType
(
)