Performance fix: If one abstraction entails another one (a.b entails a.b.c since a.b also taints a.b.*), only the more general abstraction must be propagated, the other one can be deleted safely.