let is_rte_generated kf =
  List.for_all
    (fun (_,_,lookup,_) -> lookup kf)
    (!Db.RteGen.get_all_status ())