let fresh pool =
         let x = F.fresh pool "A" (Model Integerin
         x , F.var x