let str_eqns_dbg table (eqns : term list list) : string =
  let rec help str = function
    | (ts)::tail -> help (str^"0 = "^(str_term_dbg table (Xor ts))^"\n") tail
    | []         -> str
  in
  if eqns = [] then "empty eqns\n" else help "" eqns