Primitive predicate string::regexpMatch

Holds when the given regexp matches the entire receiver

predicate regexpMatch(string regexp)