let made_vars_info () = !cpt_mk_var, HA.fold (fun _ a acc -> a :: acc) ha []