Equivalence Tests: Prove the Refactor Preserved Results