let get_clause g =
  match g.clauses with
    | [] -> raise Not_found 
    | cl :: cls ->
        g.clauses <- cls; cl