diff --git a/cpp/ql/test/library-tests/controlflow/guards/Guards.expected b/cpp/ql/test/library-tests/controlflow/guards/Guards.expected
index 757356c247c..494baef1696 100644
--- a/cpp/ql/test/library-tests/controlflow/guards/Guards.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards/Guards.expected
@@ -32,6 +32,8 @@
 | test.c:164:8:164:8 | s |
 | test.c:170:8:170:9 | ! ... |
 | test.c:170:9:170:9 | s |
+| test.c:176:8:176:15 | ! ... |
+| test.c:176:10:176:14 | ... < ... |
 | test.cpp:18:8:18:10 | call to get |
 | test.cpp:31:7:31:13 | ... == ... |
 | test.cpp:42:13:42:20 | call to getABool |
diff --git a/cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected b/cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected
index c871e928c72..8b0ff0c71f1 100644
--- a/cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards/GuardsCompare.expected
@@ -381,3 +381,15 @@
 | 170 | s != 0 when s is true |
 | 170 | s == 0 when ! ... is true |
 | 170 | s == 0 when s is false |
+| 176 | ! ... != 0 when ! ... is true |
+| 176 | ! ... != 0 when ... < ... is false |
+| 176 | ! ... != 1 when ! ... is false |
+| 176 | ! ... != 1 when ... < ... is true |
+| 176 | ! ... == 0 when ! ... is false |
+| 176 | ! ... == 0 when ... < ... is true |
+| 176 | ! ... == 1 when ! ... is true |
+| 176 | ! ... == 1 when ... < ... is false |
+| 176 | ... < ... != 0 when ! ... is false |
+| 176 | ... < ... != 0 when ... < ... is true |
+| 176 | ... < ... == 0 when ! ... is true |
+| 176 | ... < ... == 0 when ... < ... is false |
diff --git a/cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected b/cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected
index 83275c8011f..a8f7e501a18 100644
--- a/cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected
@@ -85,6 +85,8 @@
 | test.c:164:8:164:8 | s | true | 164 | 166 |
 | test.c:170:8:170:9 | ! ... | true | 170 | 172 |
 | test.c:170:9:170:9 | s | false | 170 | 172 |
+| test.c:176:8:176:15 | ! ... | true | 176 | 178 |
+| test.c:176:10:176:14 | ... < ... | false | 176 | 178 |
 | test.cpp:18:8:18:10 | call to get | true | 19 | 19 |
 | test.cpp:31:7:31:13 | ... == ... | false | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | false | 34 | 34 |
diff --git a/cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected b/cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected
index 8c488f0662f..be56701de3e 100644
--- a/cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected
@@ -461,6 +461,12 @@ unary
 | test.c:170:9:170:9 | s | test.c:170:8:170:9 | ! ... | != | 0 | 170 | 172 |
 | test.c:170:9:170:9 | s | test.c:170:8:170:9 | ! ... | == | 1 | 170 | 172 |
 | test.c:170:9:170:9 | s | test.c:170:9:170:9 | s | == | 0 | 170 | 172 |
+| test.c:176:8:176:15 | ! ... | test.c:176:8:176:15 | ! ... | != | 0 | 176 | 178 |
+| test.c:176:8:176:15 | ! ... | test.c:176:8:176:15 | ! ... | == | 1 | 176 | 178 |
+| test.c:176:8:176:15 | ! ... | test.c:176:10:176:14 | ... < ... | == | 0 | 176 | 178 |
+| test.c:176:10:176:14 | ... < ... | test.c:176:8:176:15 | ! ... | != | 0 | 176 | 178 |
+| test.c:176:10:176:14 | ... < ... | test.c:176:8:176:15 | ! ... | == | 1 | 176 | 178 |
+| test.c:176:10:176:14 | ... < ... | test.c:176:10:176:14 | ... < ... | == | 0 | 176 | 178 |
 | test.cpp:18:8:18:10 | call to get | test.cpp:18:8:18:10 | call to get | != | 0 | 19 | 19 |
 | test.cpp:18:8:18:10 | call to get | test.cpp:18:8:18:10 | call to get | == | 1 | 19 | 19 |
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | -1 | 30 | 30 |
diff --git a/cpp/ql/test/library-tests/controlflow/guards/test.c b/cpp/ql/test/library-tests/controlflow/guards/test.c
index 207e23baa0e..03be4289419 100644
--- a/cpp/ql/test/library-tests/controlflow/guards/test.c
+++ b/cpp/ql/test/library-tests/controlflow/guards/test.c
@@ -169,5 +169,11 @@ void test8(short s) {
 void test9(short s) {
     if(!s) {
         
+    }
+}
+
+void test10(int a, int b) {
+    if(!(a < b)) {
+
     }
 }
\ No newline at end of file