Small optimization: (progn x) === x
Optimization: remove unused blocks