Made the THE-AST conform to the standard special form.