let
new_env ?(lvars=[]) kf =
let
pool =
F
.pool ()
in
pool,
L
.add_logic_vars (
L
.env kf ()) pool lvars