Predicate RegExp::alwaysMatchesMetaCharacter
Holds if term
can match any occurrence of char
within a string (not taking into account
the context in which term
appears).
This predicate is under-approximate and never considers sequences to guarantee a match.
Import path
import javascript
predicate alwaysMatchesMetaCharacter(RegExpTerm term, MetaCharacter char)