CFA branches=100

// Control flow analysis stress test
// Tests type narrowing with many branches

type Status = 'pending' | 'active' | 'completed' | 'failed' | 'cancelled';

interface BaseEntity {
    id: string;
    status: Status;
}

type Entity =
    | { kind: 'type0'; data0: string; common: number }
    | { kind: 'type1'; data1: string; common: number }
    | { kind: 'type2'; data2: string; common: number }
    | { kind: 'type3'; data3: string; common: number }
    | { kind: 'type4'; data4: string; common: number }
    | { kind: 'type5'; data5: string; common: number }
    | { kind: 'type6'; data6: string; common: number }
    | { kind: 'type7'; data7: string; common: number }
    | { kind: 'type8'; data8: string; common: number }
    | { kind: 'type9'; data9: string; common: number }
    | { kind: 'type10'; data10: string; common: number }
    | { kind: 'type11'; data11: string; common: number }
    | { kind: 'type12'; data12: string; common: number }
    | { kind: 'type13'; data13: string; common: number }
    | { kind: 'type14'; data14: string; common: number }
    | { kind: 'type15'; data15: string; common: number }
    | { kind: 'type16'; data16: string; common: number }
    | { kind: 'type17'; data17: string; common: number }
    | { kind: 'type18'; data18: string; common: number }
    | { kind: 'type19'; data19: string; common: number }
    | { kind: 'type20'; data20: string; common: number }
    | { kind: 'type21'; data21: string; common: number }
    | { kind: 'type22'; data22: string; common: number }
    | { kind: 'type23'; data23: string; common: number }
    | { kind: 'type24'; data24: string; common: number }
    | { kind: 'type25'; data25: string; common: number }
    | { kind: 'type26'; data26: string; common: number }
    | { kind: 'type27'; data27: string; common: number }
    | { kind: 'type28'; data28: string; common: number }
    | { kind: 'type29'; data29: string; common: number }
    | { kind: 'type30'; data30: string; common: number }
    | { kind: 'type31'; data31: string; common: number }
    | { kind: 'type32'; data32: string; common: number }
    | { kind: 'type33'; data33: string; common: number }
    | { kind: 'type34'; data34: string; common: number }
    | { kind: 'type35'; data35: string; common: number }
    | { kind: 'type36'; data36: string; common: number }
    | { kind: 'type37'; data37: string; common: number }
    | { kind: 'type38'; data38: string; common: number }
    | { kind: 'type39'; data39: string; common: number }
    | { kind: 'type40'; data40: string; common: number }
    | { kind: 'type41'; data41: string; common: number }
    | { kind: 'type42'; data42: string; common: number }
    | { kind: 'type43'; data43: string; common: number }
    | { kind: 'type44'; data44: string; common: number }
    | { kind: 'type45'; data45: string; common: number }
    | { kind: 'type46'; data46: string; common: number }
    | { kind: 'type47'; data47: string; common: number }
    | { kind: 'type48'; data48: string; common: number }
    | { kind: 'type49'; data49: string; common: number }
    | { kind: 'type50'; data50: string; common: number }
    | { kind: 'type51'; data51: string; common: number }
    | { kind: 'type52'; data52: string; common: number }
    | { kind: 'type53'; data53: string; common: number }
    | { kind: 'type54'; data54: string; common: number }
    | { kind: 'type55'; data55: string; common: number }
    | { kind: 'type56'; data56: string; common: number }
    | { kind: 'type57'; data57: string; common: number }
    | { kind: 'type58'; data58: string; common: number }
    | { kind: 'type59'; data59: string; common: number }
    | { kind: 'type60'; data60: string; common: number }
    | { kind: 'type61'; data61: string; common: number }
    | { kind: 'type62'; data62: string; common: number }
    | { kind: 'type63'; data63: string; common: number }
    | { kind: 'type64'; data64: string; common: number }
    | { kind: 'type65'; data65: string; common: number }
    | { kind: 'type66'; data66: string; common: number }
    | { kind: 'type67'; data67: string; common: number }
    | { kind: 'type68'; data68: string; common: number }
    | { kind: 'type69'; data69: string; common: number }
    | { kind: 'type70'; data70: string; common: number }
    | { kind: 'type71'; data71: string; common: number }
    | { kind: 'type72'; data72: string; common: number }
    | { kind: 'type73'; data73: string; common: number }
    | { kind: 'type74'; data74: string; common: number }
    | { kind: 'type75'; data75: string; common: number }
    | { kind: 'type76'; data76: string; common: number }
    | { kind: 'type77'; data77: string; common: number }
    | { kind: 'type78'; data78: string; common: number }
    | { kind: 'type79'; data79: string; common: number }
    | { kind: 'type80'; data80: string; common: number }
    | { kind: 'type81'; data81: string; common: number }
    | { kind: 'type82'; data82: string; common: number }
    | { kind: 'type83'; data83: string; common: number }
    | { kind: 'type84'; data84: string; common: number }
    | { kind: 'type85'; data85: string; common: number }
    | { kind: 'type86'; data86: string; common: number }
    | { kind: 'type87'; data87: string; common: number }
    | { kind: 'type88'; data88: string; common: number }
    | { kind: 'type89'; data89: string; common: number }
    | { kind: 'type90'; data90: string; common: number }
    | { kind: 'type91'; data91: string; common: number }
    | { kind: 'type92'; data92: string; common: number }
    | { kind: 'type93'; data93: string; common: number }
    | { kind: 'type94'; data94: string; common: number }
    | { kind: 'type95'; data95: string; common: number }
    | { kind: 'type96'; data96: string; common: number }
    | { kind: 'type97'; data97: string; common: number }
    | { kind: 'type98'; data98: string; common: number }
    | { kind: 'type99'; data99: string; common: number };

function processEntity(e: Entity): string {
    switch (e.kind) {
        case 'type0': return e.data0;
        case 'type1': return e.data1;
        case 'type2': return e.data2;
        case 'type3': return e.data3;
        case 'type4': return e.data4;
        case 'type5': return e.data5;
        case 'type6': return e.data6;
        case 'type7': return e.data7;
        case 'type8': return e.data8;
        case 'type9': return e.data9;
        case 'type10': return e.data10;
        case 'type11': return e.data11;
        case 'type12': return e.data12;
        case 'type13': return e.data13;
        case 'type14': return e.data14;
        case 'type15': return e.data15;
        case 'type16': return e.data16;
        case 'type17': return e.data17;
        case 'type18': return e.data18;
        case 'type19': return e.data19;
        case 'type20': return e.data20;
        case 'type21': return e.data21;
        case 'type22': return e.data22;
        case 'type23': return e.data23;
        case 'type24': return e.data24;
        case 'type25': return e.data25;
        case 'type26': return e.data26;
        case 'type27': return e.data27;
        case 'type28': return e.data28;
        case 'type29': return e.data29;
        case 'type30': return e.data30;
        case 'type31': return e.data31;
        case 'type32': return e.data32;
        case 'type33': return e.data33;
        case 'type34': return e.data34;
        case 'type35': return e.data35;
        case 'type36': return e.data36;
        case 'type37': return e.data37;
        case 'type38': return e.data38;
        case 'type39': return e.data39;
        case 'type40': return e.data40;
        case 'type41': return e.data41;
        case 'type42': return e.data42;
        case 'type43': return e.data43;
        case 'type44': return e.data44;
        case 'type45': return e.data45;
        case 'type46': return e.data46;
        case 'type47': return e.data47;
        case 'type48': return e.data48;
        case 'type49': return e.data49;
        case 'type50': return e.data50;
        case 'type51': return e.data51;
        case 'type52': return e.data52;
        case 'type53': return e.data53;
        case 'type54': return e.data54;
        case 'type55': return e.data55;
        case 'type56': return e.data56;
        case 'type57': return e.data57;
        case 'type58': return e.data58;
        case 'type59': return e.data59;
        case 'type60': return e.data60;
        case 'type61': return e.data61;
        case 'type62': return e.data62;
        case 'type63': return e.data63;
        case 'type64': return e.data64;
        case 'type65': return e.data65;
        case 'type66': return e.data66;
        case 'type67': return e.data67;
        case 'type68': return e.data68;
        case 'type69': return e.data69;
        case 'type70': return e.data70;
        case 'type71': return e.data71;
        case 'type72': return e.data72;
        case 'type73': return e.data73;
        case 'type74': return e.data74;
        case 'type75': return e.data75;
        case 'type76': return e.data76;
        case 'type77': return e.data77;
        case 'type78': return e.data78;
        case 'type79': return e.data79;
        case 'type80': return e.data80;
        case 'type81': return e.data81;
        case 'type82': return e.data82;
        case 'type83': return e.data83;
        case 'type84': return e.data84;
        case 'type85': return e.data85;
        case 'type86': return e.data86;
        case 'type87': return e.data87;
        case 'type88': return e.data88;
        case 'type89': return e.data89;
        case 'type90': return e.data90;
        case 'type91': return e.data91;
        case 'type92': return e.data92;
        case 'type93': return e.data93;
        case 'type94': return e.data94;
        case 'type95': return e.data95;
        case 'type96': return e.data96;
        case 'type97': return e.data97;
        case 'type98': return e.data98;
        case 'type99': return e.data99;
        default:
            throw new Error('unreachable');
    }
}

function processWithIf(e: Entity): string {
    if (e.kind === 'type0') {
        return e.data0;
    }
    if (e.kind === 'type1') {
        return e.data1;
    }
    if (e.kind === 'type2') {
        return e.data2;
    }
    if (e.kind === 'type3') {
        return e.data3;
    }
    if (e.kind === 'type4') {
        return e.data4;
    }
    if (e.kind === 'type5') {
        return e.data5;
    }
    if (e.kind === 'type6') {
        return e.data6;
    }
    if (e.kind === 'type7') {
        return e.data7;
    }
    if (e.kind === 'type8') {
        return e.data8;
    }
    if (e.kind === 'type9') {
        return e.data9;
    }
    if (e.kind === 'type10') {
        return e.data10;
    }
    if (e.kind === 'type11') {
        return e.data11;
    }
    if (e.kind === 'type12') {
        return e.data12;
    }
    if (e.kind === 'type13') {
        return e.data13;
    }
    if (e.kind === 'type14') {
        return e.data14;
    }
    if (e.kind === 'type15') {
        return e.data15;
    }
    if (e.kind === 'type16') {
        return e.data16;
    }
    if (e.kind === 'type17') {
        return e.data17;
    }
    if (e.kind === 'type18') {
        return e.data18;
    }
    if (e.kind === 'type19') {
        return e.data19;
    }
    if (e.kind === 'type20') {
        return e.data20;
    }
    if (e.kind === 'type21') {
        return e.data21;
    }
    if (e.kind === 'type22') {
        return e.data22;
    }
    if (e.kind === 'type23') {
        return e.data23;
    }
    if (e.kind === 'type24') {
        return e.data24;
    }
    if (e.kind === 'type25') {
        return e.data25;
    }
    if (e.kind === 'type26') {
        return e.data26;
    }
    if (e.kind === 'type27') {
        return e.data27;
    }
    if (e.kind === 'type28') {
        return e.data28;
    }
    if (e.kind === 'type29') {
        return e.data29;
    }
    if (e.kind === 'type30') {
        return e.data30;
    }
    if (e.kind === 'type31') {
        return e.data31;
    }
    if (e.kind === 'type32') {
        return e.data32;
    }
    if (e.kind === 'type33') {
        return e.data33;
    }
    if (e.kind === 'type34') {
        return e.data34;
    }
    if (e.kind === 'type35') {
        return e.data35;
    }
    if (e.kind === 'type36') {
        return e.data36;
    }
    if (e.kind === 'type37') {
        return e.data37;
    }
    if (e.kind === 'type38') {
        return e.data38;
    }
    if (e.kind === 'type39') {
        return e.data39;
    }
    if (e.kind === 'type40') {
        return e.data40;
    }
    if (e.kind === 'type41') {
        return e.data41;
    }
    if (e.kind === 'type42') {
        return e.data42;
    }
    if (e.kind === 'type43') {
        return e.data43;
    }
    if (e.kind === 'type44') {
        return e.data44;
    }
    if (e.kind === 'type45') {
        return e.data45;
    }
    if (e.kind === 'type46') {
        return e.data46;
    }
    if (e.kind === 'type47') {
        return e.data47;
    }
    if (e.kind === 'type48') {
        return e.data48;
    }
    if (e.kind === 'type49') {
        return e.data49;
    }
    if (e.kind === 'type50') {
        return e.data50;
    }
    if (e.kind === 'type51') {
        return e.data51;
    }
    if (e.kind === 'type52') {
        return e.data52;
    }
    if (e.kind === 'type53') {
        return e.data53;
    }
    if (e.kind === 'type54') {
        return e.data54;
    }
    if (e.kind === 'type55') {
        return e.data55;
    }
    if (e.kind === 'type56') {
        return e.data56;
    }
    if (e.kind === 'type57') {
        return e.data57;
    }
    if (e.kind === 'type58') {
        return e.data58;
    }
    if (e.kind === 'type59') {
        return e.data59;
    }
    if (e.kind === 'type60') {
        return e.data60;
    }
    if (e.kind === 'type61') {
        return e.data61;
    }
    if (e.kind === 'type62') {
        return e.data62;
    }
    if (e.kind === 'type63') {
        return e.data63;
    }
    if (e.kind === 'type64') {
        return e.data64;
    }
    if (e.kind === 'type65') {
        return e.data65;
    }
    if (e.kind === 'type66') {
        return e.data66;
    }
    if (e.kind === 'type67') {
        return e.data67;
    }
    if (e.kind === 'type68') {
        return e.data68;
    }
    if (e.kind === 'type69') {
        return e.data69;
    }
    if (e.kind === 'type70') {
        return e.data70;
    }
    if (e.kind === 'type71') {
        return e.data71;
    }
    if (e.kind === 'type72') {
        return e.data72;
    }
    if (e.kind === 'type73') {
        return e.data73;
    }
    if (e.kind === 'type74') {
        return e.data74;
    }
    if (e.kind === 'type75') {
        return e.data75;
    }
    if (e.kind === 'type76') {
        return e.data76;
    }
    if (e.kind === 'type77') {
        return e.data77;
    }
    if (e.kind === 'type78') {
        return e.data78;
    }
    if (e.kind === 'type79') {
        return e.data79;
    }
    if (e.kind === 'type80') {
        return e.data80;
    }
    if (e.kind === 'type81') {
        return e.data81;
    }
    if (e.kind === 'type82') {
        return e.data82;
    }
    if (e.kind === 'type83') {
        return e.data83;
    }
    if (e.kind === 'type84') {
        return e.data84;
    }
    if (e.kind === 'type85') {
        return e.data85;
    }
    if (e.kind === 'type86') {
        return e.data86;
    }
    if (e.kind === 'type87') {
        return e.data87;
    }
    if (e.kind === 'type88') {
        return e.data88;
    }
    if (e.kind === 'type89') {
        return e.data89;
    }
    if (e.kind === 'type90') {
        return e.data90;
    }
    if (e.kind === 'type91') {
        return e.data91;
    }
    if (e.kind === 'type92') {
        return e.data92;
    }
    if (e.kind === 'type93') {
        return e.data93;
    }
    if (e.kind === 'type94') {
        return e.data94;
    }
    if (e.kind === 'type95') {
        return e.data95;
    }
    if (e.kind === 'type96') {
        return e.data96;
    }
    if (e.kind === 'type97') {
        return e.data97;
    }
    if (e.kind === 'type98') {
        return e.data98;
    }
    if (e.kind === 'type99') {
        return e.data99;
    }
    return processEntity(e);
}

function isType0(e: Entity): e is Extract<Entity, { kind: 'type0' }> {
    return e.kind === 'type0';
}

function isType5(e: Entity): e is Extract<Entity, { kind: 'type5' }> {
    return e.kind === 'type5';
}

function isType10(e: Entity): e is Extract<Entity, { kind: 'type10' }> {
    return e.kind === 'type10';
}

function isType15(e: Entity): e is Extract<Entity, { kind: 'type15' }> {
    return e.kind === 'type15';
}

function isType20(e: Entity): e is Extract<Entity, { kind: 'type20' }> {
    return e.kind === 'type20';
}

function isType25(e: Entity): e is Extract<Entity, { kind: 'type25' }> {
    return e.kind === 'type25';
}

function isType30(e: Entity): e is Extract<Entity, { kind: 'type30' }> {
    return e.kind === 'type30';
}

function isType35(e: Entity): e is Extract<Entity, { kind: 'type35' }> {
    return e.kind === 'type35';
}

function isType40(e: Entity): e is Extract<Entity, { kind: 'type40' }> {
    return e.kind === 'type40';
}

function isType45(e: Entity): e is Extract<Entity, { kind: 'type45' }> {
    return e.kind === 'type45';
}

function isType50(e: Entity): e is Extract<Entity, { kind: 'type50' }> {
    return e.kind === 'type50';
}

function isType55(e: Entity): e is Extract<Entity, { kind: 'type55' }> {
    return e.kind === 'type55';
}

function isType60(e: Entity): e is Extract<Entity, { kind: 'type60' }> {
    return e.kind === 'type60';
}

function isType65(e: Entity): e is Extract<Entity, { kind: 'type65' }> {
    return e.kind === 'type65';
}

function isType70(e: Entity): e is Extract<Entity, { kind: 'type70' }> {
    return e.kind === 'type70';
}

function isType75(e: Entity): e is Extract<Entity, { kind: 'type75' }> {
    return e.kind === 'type75';
}

function isType80(e: Entity): e is Extract<Entity, { kind: 'type80' }> {
    return e.kind === 'type80';
}

function isType85(e: Entity): e is Extract<Entity, { kind: 'type85' }> {
    return e.kind === 'type85';
}

function isType90(e: Entity): e is Extract<Entity, { kind: 'type90' }> {
    return e.kind === 'type90';
}

function isType95(e: Entity): e is Extract<Entity, { kind: 'type95' }> {
    return e.kind === 'type95';
}