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