Predicate Make :: matchesEpsilon
t matches at least an epsilon symbol.
That is, this term does not restrict the language of the enclosing regular expression.
This is implemented as an under-approximation, and this predicate does not hold for sub-patterns in particular.
predicate matchesEpsilon ( RegExpTerm t )