Added a brief example of the degenerate case of `lambdas`
Added a brief example of the degenerate case of `lambdas`

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