Predicate DuplicateCharacterInSet::duplicate_char_in_class

predicate duplicate_char_in_class(Regex r, string char)