{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"if"}]}
        if let TerminatorKind::Call { ref args, .. } = bb_data.terminator().kind {
    for (bb, bb_data) in traversal::preorder(body) {
            let loc = Location { block: bb, statement_index: bb_data.statements.len() };