Predicate polynimalReDoS
Holds if repetitions of pump at t will cause polynomial backtracking.
Import path
import semmle.javascript.security.performance.SuperlinearBackTrackingpredicate polynimalReDoS(RegExpTerm t, string pump, string prefixMsg, RegExpTerm prev)