Enhancing Differential Testing Through Domain-Specific Equivalence Rules