fn extract_block_statements( block_pair: Pair<'_, Rule>, ) -> Result<Vec<Spanned<Statement>>, Diagnostic>