# Golden test output of SBELambdaTest/TraverseP_AddOneToFirstArrayItem
-- INPUT EXPRESSION:
traverseP(s1, lambda(l10.0 l10.1) { 
    if (l10.1 == 0ll) 
    then (l10.0 + 1) 
    else l10.0 
}, Nothing) 

-- COMPILED EXPRESSION:
[0x0000-0x0051] stackSize: 1, maxStackSize: 1
0x0000: jmp(target: 0x0041);
0x0005: allocStack(size:1);
0x000a: pushConstVal(value: 0ll);
0x0014: eq(popLhs: 0, moveFromLhs: 0, offsetLhs: 0, popRhs: 1, moveFromRhs: 1, offsetRhs: 0);
0x001b: jmpNothing(target: 0x0040);
0x0020: jmpTrue(target: 0x002f);
0x0025: pushLocalVal(arg: 1);
0x002a: jmp(target: 0x0040);
0x002f: pushConstVal(value: 1);
0x0039: add(popLhs: 0, moveFromLhs: 0, offsetLhs: 1, popRhs: 1, moveFromRhs: 1, offsetRhs: 0);
0x0040: ret();
0x0041: pushAccessVal(accessor: <accessor>);
0x004a: traversePImm(providePosition: True, k: Nothing, target: 0x0005);


-- EXECUTE VARIATION:
SLOTS: [1: [1, 2, 3]]
RESULT: [2, 2, 3]

