let rte_precond_status    = rte_find Db.RteGen.get_precond_status