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