Clear cases for `VDef` that has already been removed