diff --git a/tests/programs/branch-combined.q b/tests/programs/branch-combined.q
index 3c1f86e..bb06970 100644
--- a/tests/programs/branch-combined.q
+++ b/tests/programs/branch-combined.q
@@ -33,11 +33,9 @@ main() {
 		exit(1)
 	}
 
-	if x != x || x != x || x != x || x == x || x != x {
-		if x + 1 == inc(x) && x - 1 == dec(x) && x == dec(inc(x)) {
-			if (x == x && x != x || x == x && x == x) && (x == x && x == x || x == x && x != x) {
-				exit(0)
-			}
+	if (x == x && x != x || x == x && x == x) && (x == x && x == x || x == x && x != x) {
+		if (x != x || x == x) && (x != x || x != x) || (x == x || x != x) && (x != x || x == x) {
+			exit(0)
 		}
 	}