diff --git a/src/Core/Syntax.hs b/src/Core/Syntax.hs
index 99e872d..16d9567 100644
--- a/src/Core/Syntax.hs
+++ b/src/Core/Syntax.hs
@@ -18,6 +18,7 @@ module Core.Syntax
     , rhssOf
     , isAtomic
     , insertModule
+    , extractProgram
     )
     where
 ----------------------------------------------------------------------------------
@@ -146,3 +147,6 @@ isAtomic _       = False
 insertModule :: Module -> Program -> Program
 insertModule (Module _ m) p = p <> m
 
+extractProgram :: Module -> Program
+extractProgram (Module _ p) = p
+