let str_sub_clot_dbg table ((ls,_,_) as sub : t_subst) : string =
  str_sub_ls_clot_dbg table sub ls