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 ;
  }