let made_vars_info () = !cpt_mk_var, MA.fold (fun lit var acc -> var::acc)!ma []