14. The method of claim 13 further comprising determining whether the subset of the given regular expression pattern is matched by the rNFA graph.
16. The method of claim 14 further comprising: based on the assertion being a negative assertion, reporting an unsatisfied assertion in an event the subset of the given regular expression pattern is matched by the rNFA graph.