let fresh pool =
         let p = F.fresh pool "X" (Model Integerin
         p , F.var p