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