@@ -110,6 +110,10 @@ buildDepMap ci ctx ns = addPostulates $ dfs S.empty M.empty ns
110110 , it "prim__sltBigInt" [0,1]
111111 , it "prim__sltChar" [0,1]
112112 , it "prim__toStrInt" [0,1]
113+ , it "prim__addInt" [0,1]
114+ , it "prim__eqInt" [0,1]
115+ , it "prim__sltInt" [0,1]
116+ , it "prim__subInt" [0,1]
113117 , mn "__MkPair" [0,1]
114118 ]
115119 ]