Fix editing error to make valid QL

Author: owen-mc

java/ql/lib/semmle/code/java/security/ArithmeticUncontrolledQuery.qll

@@ -43,12 +43,12 @@ module ArithmeticUncontrolledOverflowFlow =
 module ArithmeticUncontrolledUnderflowConfig implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node source) { source instanceof TaintSource }
 
-    underflowBarrier(n) or
-    barrierNode(n, "java/uncontrolled-arithmetic")
-
   predicate isSink(DataFlow::Node sink) { underflowSink(_, sink.asExpr()) }
 
-  predicate isBarrier(DataFlow::Node n) { underflowBarrier(n) }
+  predicate isBarrier(DataFlow::Node n) {
+    underflowBarrier(n) or
+    barrierNode(n, "java/uncontrolled-arithmetic")
+  }
 
   predicate observeDiffInformedIncrementalMode() {
     any() // merged with ArithmeticUncontrolledOverflow in ArithmeticUncontrolled.ql

java/ql/lib/semmle/code/java/security/ArithmeticWithExtremeValuesQuery.qll

@@ -56,12 +56,12 @@ module MinValueFlowConfig implements DataFlow::ConfigSig {
 
   predicate isSink(DataFlow::Node sink) { underflowSink(_, sink.asExpr()) }
 
-    underflowBarrier(n) or
-    barrierNode(n, "java/extreme-value-arithmetic")
-
   predicate isBarrierIn(DataFlow::Node n) { isSource(n) }
 
-  predicate isBarrier(DataFlow::Node n) { underflowBarrier(n) }
+  predicate isBarrier(DataFlow::Node n) {
+    underflowBarrier(n) or
+    barrierNode(n, "java/extreme-value-arithmetic")
+  }
 }
 
 /** Dataflow from minimum values to an underflow. */