let str_po_dbg table (po : t_po) : string =
let rec help str = function
| (n,ls)::tail -> help (str^(str_term_dbg table (Var n))^" < "^(str_list_dbg table ls)^"\n") tail
| [] -> str
in
if po = [] then "empty po\n" else help "" po