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