Implement primitive `Prelude.fix` in AIG backend.
Implement primitive `Prelude.fix` in AIG backend.

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