let bind_lvars env (bindings : (logic_var * F.abstract) list) = let lvars = List.fold_left (fun lvars (lv,term) -> Logic_var.Map.add lv (Logic_term term) lvars) env.lvars bindings in { env with lvars = lvars }