{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(terminator) = &bb.terminator
            let bb = &body[location.block];
                // terminator of a loop should be TerminatorKind::FalseUnwind