{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"}"}]}
    }
        return None;
    let TerminatorKind::SwitchInt { targets, discr: parent_discr } = &bbs[parent].terminator().kind