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