let str_sub_ls_dbg table (ls : t_equal) : string =
  let rec help str = function
    | (n,t)::tail -> help (str^(str_term_dbg table (Var n))^" <- "^(str_term_dbg table t)^"\n") tail
    | []          -> str
  in
  if ls = [] then "empty subst\n" else help "" ls