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