Add progn test
Tweak progn test
Remove progn test