Welcome to the GBF Test Portal

function ifWithElseIfNested(a#2, b#1, c#0)
{
    lit#5 = "";
    temp.res = lit#5;
    // RegionId(0)
    // RegionId(1)
    if (a#2) 
    {
        lit#6 = "a";
        temp.res = temp.res + lit#6;
        // RegionId(1)
        // RegionId(2)
        if (b#1) 
        {
            lit#7 = "a-inner-b";
            temp.res = temp.res + lit#7;
        }
    }
    // RegionId(3)
    else
    {
        // RegionId(3)
        // RegionId(4)
        if (b#1) 
        {
            lit#8 = "b";
            temp.res = temp.res + lit#8;
            // RegionId(4)
            // RegionId(5)
            if (c#0) 
            {
                lit#9 = "b-inner-c";
                temp.res = temp.res + lit#9;
            }
        }
        // RegionId(6)
        else
        {
            // RegionId(6)
            // RegionId(7)
            if (c#0) 
            {
                lit#10 = "c";
                temp.res = temp.res + lit#10;
            }
            // RegionId(8)
            else
            {
                lit#11 = "d";
                temp.res = temp.res + lit#11;
                // RegionId(8)
                // RegionId(9)
                if (a#2) 
                {
                    lit#12 = "d-inner-a";
                    temp.res = temp.res + lit#12;
                }
            }
        }
    }
    lit#13 = "e";
    temp.res = temp.res + lit#13;
    return temp.res;
}