let select_decl_var set mark vi kf = let selection = !Db.Slicing.Select.select_decl_var_internal kf vi mark in add_to_selection set selection