The MULTIPLE-VALUE-PROG1-AST has a list of ASTs and not a PROGN-AST.