let str_list_dbg table (ls : int list) : string =
  it_list (fun str n -> str^(str_term_dbg table (Var n))^" """ ls