diff --git a/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c b/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c
new file mode 100644
index 0000000000..9105e2bf94
--- /dev/null
+++ b/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c
@@ -0,0 +1,11 @@
+// PARAM: --enable ana.int.congruence --enable ana.int.interval
+// reduced (via creduce and manually) from sv-benchmarks/c/hardness-nfm22/hardness_codestructure_dependencies_file-70.c
+
+main() {
+  int a;
+  unsigned c = 1;
+  if (a)
+    c = 4;
+  if (c + (c + 2)) // NOWARN
+    a = 1;
+}