Remove redundant progn