take into account covariant refinement of return type in Safe Delete
tabs->spaces