Refactor PCL:PROGN