Characteristic predicate EnumConstant :: EnumConstant
EnumConstant
(
)