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