let put_clause cl g =
  try
    let fct = Clause.d_singleton cl in
      put fct g
  with
      Not_found -> 
        g.clauses <- cl :: g.clauses