{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"for"}]}
        for &end in &decision.end_bcbs {
        // Inject test vector update first because `inject_statement` always insert new statement at head.
            let end_bb = graph[end].leader_bb();