Deleting an unused Def