diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
index d274d6d5..a5c31c2c 100644
--- a/crates/aiken-lang/src/gen_uplc.rs
+++ b/crates/aiken-lang/src/gen_uplc.rs
@@ -2690,6 +2690,7 @@ impl<'a> CodeGenerator<'a> {
                             AirTree::bool(constr_name == "True"),
                             bool(),
                         )
+                        .hoist_over(then)
                     } else {
                         let (cond, assign) =
                             self.clause_pattern(pattern, subject_tipo, props, then);