updated efq1 to call Eq__rec instead of the Eq#rec recursor
updated efq1 to call Eq__rec instead of the Eq#rec recursor

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script