small tweak to mrRefines on either eliminations to handle the constructor cases first
small tweak to mrRefines on either eliminations to handle the constructor cases first

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