Characteristic predicate Impl :: RegExpGroup :: RegExpGroup