From 51079b859087406a7e7e6e44c53c3d8c82d04a10 Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Fri, 8 Dec 2023 22:09:59 -0500
Subject: [PATCH] fix: builtin_force_reducer wasn't handling double forces
 correctly

---
 crates/uplc/src/optimize/shrinker.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs
index d49783e9..0ab9f460 100644
--- a/crates/uplc/src/optimize/shrinker.rs
+++ b/crates/uplc/src/optimize/shrinker.rs
@@ -553,7 +553,7 @@ impl Program<Name> {
                             );
                         }
                     }
-                    Term::Builtin(func) => {
+                    Term::Builtin(func) if func.force_count() == 1 => {
                         builtin_map.insert(*func as u8, ());
                         *term = Term::Var(
                             Name {