Characteristic predicate EnumConstant :: EnumConstant