let mk_selection_cad fselect = mk_selection fselect (!Db.Slicing.Mark.make ~ctrl:true ~addr:true ~data:true)