Currently the AbstractInterpreter assumes that delete will clobber the world. It could notice that for the set of structures that can reach the delete node the identifier to delete will be a miss.