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