let rec add_pdg_selection to_select pdg sel_mark = match to_select with | [] -> [(pdg, [sel_mark])] | (p, ln) :: tl -> if Db.Pdg.from_same_fun p pdg then (p, sel_mark::ln):: tl else (p, ln)::(add_pdg_selection tl pdg sel_mark)