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