diff --git a/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden b/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden
index d264e9c829c..85394b1a586 100644
--- a/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden
+++ b/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden
@@ -26,10 +26,10 @@ program
                                   (addInteger cse cse))
                                [ (delay (addInteger cse cse))
                                , (delay (addInteger cse cse)) ])))
-                      (case cse [(\x y z w -> w)]))
-                   (case cse [(\x y z w -> y)]))
-                (case cse [(\x y z w -> z)]))
-             (case cse [(\x y z w -> x)]))
+                      (case cse [(\x y z w -> x)]))
+                   (case cse [(\x y z w -> w)]))
+                (case cse [(\x y z w -> y)]))
+             (case cse [(\x y z w -> z)]))
           (\x y ->
              force ifThenElse
                (lessThanInteger x y)
diff --git a/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden
index f1bf99b0f21..e2e0f98905e 100644
--- a/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden
+++ b/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden
@@ -212,8 +212,8 @@ program
                                                     [ (addInteger 7 n)
                                                     , #534556454e ])
                                                , (constr 0 []) ]) ]) ]) ])))
-                       (addInteger 4 n))
-                    (addInteger 3 n))
+                       (addInteger 3 n))
+                    (addInteger 4 n))
                  (\`$dToData` `$dToData` ->
                     (\go eta -> goList (go eta))
                       (fix1
diff --git a/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden
index f1bf99b0f21..e2e0f98905e 100644
--- a/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden
+++ b/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden
@@ -212,8 +212,8 @@ program
                                                     [ (addInteger 7 n)
                                                     , #534556454e ])
                                                , (constr 0 []) ]) ]) ]) ])))
-                       (addInteger 4 n))
-                    (addInteger 3 n))
+                       (addInteger 3 n))
+                    (addInteger 4 n))
                  (\`$dToData` `$dToData` ->
                     (\go eta -> goList (go eta))
                       (fix1