Member predicate Impl :: RegExpTerm :: isRootTerm
Holds if this is the root term of a regular expression.
predicate
isRootTerm
(
)