let is_rte_precond kf =
  let (_,_,lookup,_) = !Db.RteGen.get_precond_status () in (lookup kf)