{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"worklist.insert(START_BLOCK);"}]}
        worklist.insert(START_BLOCK);
        let mut worklist = DenseBitSet::new_empty(body.basic_blocks.len());
        MonoReachable {