S0: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ} | π: true
└── S1: if (a < c / 2)
    ├── TRUE | π: δ < ε/2
    |   S2: {a: ε, c: ε+1, b: ζ, all_right: FALSE, aux: 2ζ}
    |   └── S3: if (b/4 - c <= 0)  |  evalúa: ζ/4 - (ε+1) <= 0  ->  ζ/4 <= ε+1
    |       ├── TRUE | π: (δ < ε/2) ∧ (ζ/4 <= ε+1)
    |       |   S4: {all_right: TRUE}
    |       |   └── Resultado: WIN ! [Camino 1]
    |       |
    |       └── FALSE | π: (δ < ε/2) ∧ (ζ/4 > ε+1)
    |           S5: {all_right: FALSE}
    |           └── Resultado: LOSE [Camino 2]
    |
    └── FALSE | π: δ >= ε/2
        S6: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ}
        └── S7: if (b == 'e')  |  evalúa: ζ == 101 (ASCII de 'e')
            ├── TRUE | π: (δ >= ε/2) ∧ (ζ == 101)
            |   S8: {a: δ+1, c: 2ζ, b: 2(δ+1)} | como ζ=101 -> {a: δ+1, c: 202, b: 2(δ+1)}
            |   └── S9: if (b/4 - c <= 0) | evalúa: (2(δ+1))/4 - 202 <= 0 -> δ <= 403
            |       ├── TRUE | π: (δ >= ε/2) ∧ (ζ == 101) ∧ (δ <= 403)
            |       |   S10: {all_right: TRUE}
            |       |   └── Resultado: WIN ! [Camino 3]
            |       |
            |       └── FALSE | π: (δ >= ε/2) ∧ (ζ == 101) ∧ (δ > 403)
            |           S11: {all_right: FALSE}
            |           └── Resultado: LOSE [Camino 4]
            |
            └── FALSE | π: (δ >= ε/2) ∧ (ζ != 101)
                S12: {a: δ, c: ε, b: ζ, all_right: FALSE, aux: 2ζ}
                └── S13: if (b/4 - c <= 0) | evalúa: ζ/4 - ε <= 0 -> ζ/4 <= ε
                    ├── TRUE | π: (δ >= ε/2) ∧ (ζ != 101) ∧ (ζ/4 <= ε)
                    |   S14: {all_right: TRUE}
                    |   └── Resultado: WIN ! [Camino 5]
                    |
                    └── FALSE | π: (δ >= ε/2) ∧ (ζ != 101) ∧ (ζ/4 > ε)
                        S15: {all_right: FALSE}
                        └── Resultado: LOSE [Camino 6]