Re-enable the empty list test of `eval_lsit` and remove note
Re-enable the empty list test of `eval_lsit` and remove note
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script