moved def of replicateBool before use, to make the prelude type-check with the new rules
moved def of replicateBool before use, to make the prelude type-check with the new rules

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