let lst_sub_dbg ((ls,_,_) : t_subst) :  ((Types_unify.term * Types_unify.term) list) =
  lst_sub_ls_dbg ls