let collect_logic_vars env = 
    Logic_var.Map.fold 
      (fun _lv lk acc -> 
         match lk with
           | Logic_var x -> x::acc
           | _ -> acc)
      env.lvars []