{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                    // Loop invariant: at the beginning of each loop, `local_id` must refer to a
                for _ in 0..lvl {
                    // non-block module.