C++: Make the formatting of conjunct when using 'getDualValue' consistent.

cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

@@ -844,8 +844,7 @@ private predicate compares_eq(
   complex_eq(test, left, right, k, areEqual, value)
   or
   /* (x is true => (left == right + k)) => (!x is false => (left == right + k)) */
-  exists(AbstractValue dual |
+  exists(AbstractValue dual | value = dual.getDualValue() |
-    value = dual.getDualValue() and
     compares_eq(test.(LogicalNotValueNumber).getUnary(), left, right, k, areEqual, dual)
   )
   or