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