Characteristic predicate NonNestedType :: NonNestedType
NonNestedType
(
)