let rec get_state kf =
    match find_all kf with
      | [] ->
          add (Kernel_function.get_name kf) kf [ ] () ;
          get_state kf
      | [ _, s ] -> s
      | _ -> assert false