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