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