{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"+"}]}
                + 4 * body.basic_blocks.len();
            2 * body.basic_blocks.iter().map(|bbdata| bbdata.statements.len()).sum::<usize>()
        VnState {