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