Remove unneeded local in equivalence-check