let add_logic_vars env pool lvs =
let lvars =
List.fold_left
(fun lvars lv ->
let x = fresh_logic_var pool lv in
Logic_var.Map.add lv (Logic_var x) lvars)
env.lvars lvs
in { env with lvars = lvars }