let
rte_precond_status = rte_find
Db
.
RteGen
.get_precond_status