Characteristic predicate ExceptionClass :: ExceptionClass
ExceptionClass
(
)