delist identities

no longer needed by treesimp