let lst_sub_ls_dbg (ls : t_equal) : ((Types_unify.term * Types_unify.term) list) =
  let rec help str = function
    | (n,t)::tail -> help (((Var n),t)::str) tail
    | []          -> str
  in
  if ls = [] then [] else help [] ls