Program
| If
| | Binary Eq
| | | Lit i
| | | Lit 0
| | Block
| | | Expr
| | | | Assign i
| | | | | Lit 1
| Else
| | If
| | | Binary Eq
| | | | Lit i
| | | | Lit 1
| | | Block
| | | | Expr
| | | | | Assign i
| | | | | | Lit 2
| | Else
| | | Block
| | | | Expr
| | | | | Assign i
| | | | | | Lit 3