https://github.com/GaloisInc/saw-core/blob/47526791526d4f048e2b7447275adc410b1f7e2d/cryptol-saw-core/test/instance.cry#L365 We should update the instance regression test with the instances linked above.
