diff --git a/src/LambdaLifter.hs b/src/LambdaLifter.hs
index 433a7e0..6067ee3 100644
--- a/src/LambdaLifter.hs
+++ b/src/LambdaLifter.hs
@@ -106,7 +106,7 @@ freeVarsBranch localVars (Branch pt e) =
       , term  = ABranch pt annae
       }
   where
-    annae = freeVarsExp localVars e
+    annae = freeVarsExp (localVars <|| varsInPattern) e
     varsInPattern = go [] pt
       where
         go acc (p, t) = case p of