let
fresh pool =
let
p =
F
.fresh pool
"X"
(
Model
Integer
)
in
p ,
F
.var p