1 files changed, 69 insertions, 45 deletions
diff --git a/test/example/relooper-fuzz1.txt b/test/example/relooper-fuzz1.txt
index 1fb24808e..3cdb12e69 100644
--- a/test/example/relooper-fuzz1.txt
+++ b/test/example/relooper-fuzz1.txt
@@ -14,7 +14,9 @@
     )
     (i32.const 120)
    )
-   (unreachable)
+   (then
+    (unreachable)
+   )
   )
   (i32.store
    (i32.const 4)
@@ -184,37 +186,49 @@
         )
         (i32.const 0)
        )
-       (br $block$3$break)
-       (if
-        (i32.eq
-         (i32.rem_u
-          (local.get $0)
-          (i32.const 4)
-         )
-         (i32.const 2)
-        )
-        (block
-         (block
-          (call $print
-           (i32.const 7)
-          )
-          (local.set $0
-           (call $check)
+       (then
+        (br $block$3$break)
+       )
+       (else
+        (if
+         (i32.eq
+          (i32.rem_u
+           (local.get $0)
+           (i32.const 4)
           )
+          (i32.const 2)
          )
-         (if
-          (i32.eq
-           (i32.rem_u
-            (local.get $0)
-            (i32.const 3)
+         (then
+          (block
+           (block
+            (call $print
+             (i32.const 7)
+            )
+            (local.set $0
+             (call $check)
+            )
+           )
+           (if
+            (i32.eq
+             (i32.rem_u
+              (local.get $0)
+              (i32.const 3)
+             )
+             (i32.const 0)
+            )
+            (then
+             (br $block$3$break)
+            )
+            (else
+             (br $block$10$break)
+            )
            )
-           (i32.const 0)
           )
-          (br $block$3$break)
-          (br $block$10$break)
+         )
+         (else
+          (br $block$4$break)
          )
         )
-        (br $block$4$break)
        )
       )
      )
@@ -235,8 +249,12 @@
         )
         (i32.const 0)
        )
-       (br $block$4$break)
-       (br $block$10$break)
+       (then
+        (br $block$4$break)
+       )
+       (else
+        (br $block$10$break)
+       )
       )
      )
     )
@@ -283,7 +301,9 @@
     )
     (i32.const 120)
    )
-   (unreachable)
+   (then
+    (unreachable)
+   )
   )
   (i32.store
    (i32.const 4)
@@ -444,26 +464,30 @@
       )
       (i32.const 3)
      )
-     (if
-      (i32.eq
-       (i32.and
-        (local.get $0)
-        (i32.const 3)
-       )
-       (i32.const 2)
-      )
-      (block
-       (call $print
-        (i32.const 7)
-       )
-       (br_if $block$10$break
-        (i32.rem_u
-         (call $check)
+     (then
+      (if
+       (i32.eq
+        (i32.and
+         (local.get $0)
          (i32.const 3)
         )
+        (i32.const 2)
+       )
+       (then
+        (call $print
+         (i32.const 7)
+        )
+        (br_if $block$10$break
+         (i32.rem_u
+          (call $check)
+          (i32.const 3)
+         )
+        )
+       )
+       (else
+        (br $block$4$break)
        )
       )
-      (br $block$4$break)
      )
     )
     (call $print