Add reproducer for #4645 (#5196)

This replicates the code in issue #4645, which should show if we have a
bug or not. In fact, it seems the issue doesn't reproduce.

Author: michaelpj

plutus-tx-plugin/test/Plugin/Strict/Spec.hs

@@ -30,6 +30,8 @@ strict = testNested "Strict" [
   , goldenPir "strictPair" strictPair
   , goldenPir "strictList" strictList
   , goldenPir "strictData" strictData
+  , goldenPir "issue4645" issue4645
+  , goldenEvalCekLog "issue4645Eval" [ issue4645 ]
   ]
 
 strictAdd :: CompiledCode (Integer -> Integer -> Integer)
@@ -82,3 +84,20 @@ strictData = plc (Proxy @"strictData") strictDataExample
 
 strictDataExample :: BI.BuiltinData -> Integer
 strictDataExample !d = BI.unsafeDataAsI d
+
+issue4645 :: CompiledCode Bool
+issue4645 = plc (Proxy @"issue4645") issue4645Example
+
+-- Reproducer for plutus#4645
+issue4645Example :: Bool
+issue4645Example =
+    let
+      !x = P.trace "x" 0 :: Integer
+      !y = P.trace "y" (1, 2) :: (Integer,Integer)
+      !z = P.trace "z" y
+      (!zz, _) = P.trace "zz" z
+      !t = P.trace "t" zz
+
+      !valid = x P.== t
+   in valid
+

plutus-tx-plugin/test/Plugin/Strict/issue4645.plc.golden

@@ -0,0 +1,82 @@
+(program
+  1.1.0
+  (let
+    (nonrec)
+    (datatypebind
+      (datatype
+        (tyvardecl Tuple2 (fun (type) (fun (type) (type))))
+        (tyvardecl a (type)) (tyvardecl b (type))
+        Tuple2_match
+        (vardecl Tuple2 (fun a (fun b [ [ Tuple2 a ] b ])))
+      )
+    )
+    (datatypebind
+      (datatype
+        (tyvardecl Bool (type))
+
+        Bool_match
+        (vardecl True Bool) (vardecl False Bool)
+      )
+    )
+    (termbind
+      (strict)
+      (vardecl y [ [ Tuple2 (con integer) ] (con integer) ])
+      [
+        [
+          { (builtin trace) [ [ Tuple2 (con integer) ] (con integer) ] }
+          (con string "y")
+        ]
+        [
+          [ { { Tuple2 (con integer) } (con integer) } (con integer 1) ]
+          (con integer 2)
+        ]
+      ]
+    )
+    (termbind
+      (strict)
+      (vardecl z [ [ Tuple2 (con integer) ] (con integer) ])
+      [
+        [
+          { (builtin trace) [ [ Tuple2 (con integer) ] (con integer) ] }
+          (con string "z")
+        ]
+        y
+      ]
+    )
+    (termbind
+      (strict)
+      (vardecl t (con integer))
+      [
+        [ { (builtin trace) (con integer) } (con string "t") ]
+        [
+          {
+            [
+              { { Tuple2_match (con integer) } (con integer) }
+              [
+                [
+                  { (builtin trace) [ [ Tuple2 (con integer) ] (con integer) ] }
+                  (con string "zz")
+                ]
+                z
+              ]
+            ]
+            (con integer)
+          }
+          (lam zz (con integer) (lam ds (con integer) zz))
+        ]
+      ]
+    )
+    (termbind
+      (strict)
+      (vardecl x (con integer))
+      [ [ { (builtin trace) (con integer) } (con string "x") ] (con integer 0) ]
+    )
+    [
+      [
+        [ { (builtin ifThenElse) Bool } [ [ (builtin equalsInteger) x ] t ] ]
+        True
+      ]
+      False
+    ]
+  )
+)

plutus-tx-plugin/test/Plugin/Strict/issue4645Eval.plc.golden

@@ -0,0 +1 @@
+[y, z, zz, t, x]