execution_paths.md

# Rutas de ejecución

## a1 < a2 < b1

    shared_x := 5
    print(5)
    shared_x := 7

Imprime 5, x queda con 7

## a1 < b1 < a2

    shared_x := 5
    shared_x := 7
    print(7)

Imprime 7, x queda con 7

## b1 < a1 < a2

    shared_x := 7
    shared_x := 5
    print(5)

Imprime 5, x queda con 5