$ bin/tuli print-vars code.php
Analyzing code.php
Determining Variable Types
Round 1 (17 unresolved variables out of 25)
.
0 Variables Left Unresolved

Var#1
    WriteOps:
        Expr_Assign
            var: Var<int>#1<$a>
            expr: LITERAL<int>(1)
            result: Var<int>#4
    ReadOps:
        Expr_BinaryOp_Greater
            left: Var<int>#1<$a>
            right: LITERAL<int>(1)
            result: Var<bool>#6

Var#2
    WriteOps:
    ReadOps:

Var#3
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#1<$a>
            expr: LITERAL<int>(1)
            result: Var<int>#4

Var#4
    WriteOps:
        Expr_Assign
            var: Var<int>#1<$a>
            expr: LITERAL<int>(1)
            result: Var<int>#4
    ReadOps:

Var#5
    WriteOps:
    ReadOps:
        Expr_BinaryOp_Greater
            left: Var<int>#1<$a>
            right: LITERAL<int>(1)
            result: Var<bool>#6

Var#6
    WriteOps:
        Expr_BinaryOp_Greater
            left: Var<int>#1<$a>
            right: LITERAL<int>(1)
            result: Var<bool>#6
    ReadOps:
        Stmt_JumpIf
            cond: Var<bool>#6

Var#7
    WriteOps:
        Expr_Assign
            var: Var<int>#7<$b>
            expr: LITERAL<int>(2)
            result: Var<int>#10
    ReadOps:
        Phi<Var<int>#15<$b>>: = [Var<int>#7<$b>,Var<int>#11<$b>,]

Var#8
    WriteOps:
    ReadOps:

Var#9
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#7<$b>
            expr: LITERAL<int>(2)
            result: Var<int>#10

Var#10
    WriteOps:
        Expr_Assign
            var: Var<int>#7<$b>
            expr: LITERAL<int>(2)
            result: Var<int>#10
    ReadOps:

Var#11
    WriteOps:
        Expr_Assign
            var: Var<int>#11<$b>
            expr: LITERAL<int>(3)
            result: Var<int>#14
    ReadOps:
        Phi<Var<int>#15<$b>>: = [Var<int>#7<$b>,Var<int>#11<$b>,]

Var#12
    WriteOps:
    ReadOps:

Var#13
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#11<$b>
            expr: LITERAL<int>(3)
            result: Var<int>#14

Var#14
    WriteOps:
        Expr_Assign
            var: Var<int>#11<$b>
            expr: LITERAL<int>(3)
            result: Var<int>#14
    ReadOps:

Var#15
    WriteOps:
        Phi<Var<int>#15<$b>>: = [Var<int>#7<$b>,Var<int>#11<$b>,]
    ReadOps:
        Expr_BinaryOp_Identical
            left: Var<int>#15<$b>
            right: LITERAL<int>(3)
            result: Var<bool>#22
        Terminal_Echo
            expr: Var<int>#15<$b>

Var#16
    WriteOps:
    ReadOps:

Var#17
    WriteOps:
        Expr_Assign
            var: Var<int>#17<$c>
            expr: LITERAL<int>(1)
            result: Var<int>#20
    ReadOps:
        Phi<Var<int>#33<$c>>: = [Var<int>#17<$c>,Var<int>#27<$c>,]

Var#18
    WriteOps:
    ReadOps:

Var#19
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#17<$c>
            expr: LITERAL<int>(1)
            result: Var<int>#20

Var#20
    WriteOps:
        Expr_Assign
            var: Var<int>#17<$c>
            expr: LITERAL<int>(1)
            result: Var<int>#20
    ReadOps:

Var#21
    WriteOps:
    ReadOps:
        Expr_BinaryOp_Identical
            left: Var<int>#15<$b>
            right: LITERAL<int>(3)
            result: Var<bool>#22

Var#22
    WriteOps:
        Expr_BinaryOp_Identical
            left: Var<int>#15<$b>
            right: LITERAL<int>(3)
            result: Var<bool>#22
    ReadOps:
        Stmt_JumpIf
            cond: Var<bool>#22

Var#23
    WriteOps:
        Expr_Assign
            var: Var<int>#23<$a>
            expr: LITERAL<int>(2)
            result: Var<int>#26
    ReadOps:
        Phi<Var<int>#31<$a>>: = [Var<int>#23<$a>,Var<int>#1<$a>,]

Var#24
    WriteOps:
    ReadOps:

Var#25
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#23<$a>
            expr: LITERAL<int>(2)
            result: Var<int>#26

Var#26
    WriteOps:
        Expr_Assign
            var: Var<int>#23<$a>
            expr: LITERAL<int>(2)
            result: Var<int>#26
    ReadOps:

Var#27
    WriteOps:
        Expr_Assign
            var: Var<int>#27<$c>
            expr: LITERAL<int>(4)
            result: Var<int>#30
    ReadOps:
        Phi<Var<int>#33<$c>>: = [Var<int>#17<$c>,Var<int>#27<$c>,]

Var#28
    WriteOps:
    ReadOps:

Var#29
    WriteOps:
    ReadOps:
        Expr_Assign
            var: Var<int>#27<$c>
            expr: LITERAL<int>(4)
            result: Var<int>#30

Var#30
    WriteOps:
        Expr_Assign
            var: Var<int>#27<$c>
            expr: LITERAL<int>(4)
            result: Var<int>#30
    ReadOps:

Var#31
    WriteOps:
        Phi<Var<int>#31<$a>>: = [Var<int>#23<$a>,Var<int>#1<$a>,]
    ReadOps:
        Terminal_Echo
            expr: Var<int>#31<$a>

Var#32
    WriteOps:
    ReadOps:

Var#33
    WriteOps:
        Phi<Var<int>#33<$c>>: = [Var<int>#17<$c>,Var<int>#27<$c>,]
    ReadOps:
        Terminal_Echo
            expr: Var<int>#33<$c>

Var#34
    WriteOps:
    ReadOps: