let mk_selection fselect = fselect Db.Slicing.Select.empty_selects