Remove unnecessary progn form