Adapt to changed Lambda representation
Adapt to changed Lambda representation

cf. 31adf3572cdb9182f9537d877547fe3d511d327f

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