let
rte_generated kf =
List
.for_all (
fun
(_,rte,_)
->
rte kf) rte_wp