Characteristic predicate Impl :: RegExpTerm :: RegExpTerm
RegExpTerm
(
)