Rewriting where gold states don't impact path correctness.