let compute_rte_for kf =
  begin
    Dynamic.Parameter.Bool.set "-rte" true ;
    List.iter (fun (_,_,opt) -> Dynamic.Parameter.Bool.set opt true) rte_wp ;
    !Db.RteGen.annotate_kf kf ;
  end