let is_empty g =
  match g.facts, g.clauses with
    | [], [] -> true
    | _ -> false