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