move predicates that depend on isReDoSCandidate into a ReDoSPruning module

Author: erik-krogh

java/ql/lib/semmle/code/java/security/performance/ReDoSUtil.qll

@@ -391,7 +391,7 @@ predicate isPumpable(State pivot, State succ, string pump) {
  */
 predicate polynimalReDoS(RegExpTerm t, string pump, string prefixMsg, RegExpTerm prev) {
   exists(State s, State pivot |
-    hasReDoSResult(t, pump, s, prefixMsg) and
+    ReDoSPruning::hasReDoSResult(t, pump, s, prefixMsg) and
     isPumpable(pivot, s, _) and
     prev = pivot.getRepr()
   )

java/ql/lib/semmle/code/java/security/performance/SuperlinearBackTracking.qll

@@ -11,7 +11,7 @@ class HasExpRedos extends InlineExpectationsTest {
   override predicate hasActualResult(Location location, string element, string tag, string value) {
     tag = "hasExpRedos" and
     exists(RegExpTerm t, string pump, State s, string prefixMsg |
-      hasReDoSResult(t, pump, s, prefixMsg) and
+      ReDoSPruning::hasReDoSResult(t, pump, s, prefixMsg) and
       not t.getRegex().getAMode() = "VERBOSE" and
       value = "" and
       location = t.getLocation() and