public override void OnBlock(Block block)
{
var currentChecked = _checked;
_checked = AstAnnotations.IsChecked(block, currentChecked);
var currentArrayIndexing = _rawArrayIndexing;
_rawArrayIndexing = _perModuleRawArrayIndexing || AstAnnotations.IsRawIndexing(block);
Visit(block.Statements);
_rawArrayIndexing = currentArrayIndexing;
_checked = currentChecked;
}