let get g =
  match g.facts with
    | [] -> raise Not_found
    | fct :: fcts' ->
        g.facts <- fcts'; fct