{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"worklist:"}]}
            worklist: vec![START_BLOCK],
            typing_env,
            visited_blocks: DenseBitSet::new_empty(body.basic_blocks.len()),