let quant_env e assoc = { formals_in_pre = e.formals_in_pre ; frame = e.frame ; label = e.label ; lvars = List.fold_right (fun (x,v) t -> Logic_var.Map.add x v t ) assoc e.lvars ; xvars = e.xvars ; }