let
fresh pool =
let
x =
F
.fresh pool
"A"
(
Model
Integer
)
in
x ,
F
.var x