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