Characteristic predicate DefaultCase :: DefaultCase
DefaultCase
(
)