let copy g = { facts = g.facts; clauses = g.clauses }