modified to be able to use eqv? in eql specializer.