pub fn block_statement<'t>( ctx: Context<'t>, ) -> Result<(Context<'t>, Statement), (Context<'t>, Vec<Error>)>