diff --git a/src/Abstract/Interpreter.hs b/src/Abstract/Interpreter.hs
index 823ecf54e..18a3d0191 100644
--- a/src/Abstract/Interpreter.hs
+++ b/src/Abstract/Interpreter.hs
@@ -22,7 +22,7 @@ import Data.Term
 import Prelude hiding (fail)
 
 
-type Interpreter l v = '[Fresh, Fail, NonDetEff, State (Store l v), Reader (Environment l v)]
+type Interpreter l v = '[Fresh, Fail, NonDetEff, State (Store l v), Reader (Set.Set (Address l v)), Reader (Environment l v)]
 
 type MonadInterpreter l v m = (MonadEnv l v m, MonadStore l v m, MonadFail m)