Welcome to the GBF Test Portal

function onCreated()
{
    lit#2 = true;
    temp.thingOne = lit#2;
    lit#4 = true;
    temp.thingTwo = lit#4;
    lit#6 = false;
    temp.thingThree = lit#6;
    // RegionId(0)
    // Unresolved nodes:
    // idx=0: temp.thingOne
    // idx=1: temp.simpleAndTwo
    // RegionId(1)
    // Unresolved nodes:
    // idx=0: temp.thingTwo
    // idx=1: temp.simpleAndTwo
    // idx=2: temp.thingOne
    if (temp.thingOne) 
    {
    }
    temp.simpleAndTwo = phi<idx=0, regions=(RegionId(1), RegionId(0))>;
    lit#8 = "simpleAndTwo: ";
    fn_call#10 = echo#9(lit#8 @ temp.simpleAndTwo);
    lit#11 = 0;
    return lit#11;
}