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