Rewrite dead states homomorphism query to use SaturationIntersection.