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 }