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