execution_paths.md

# Rutas de ejecución

## Ruta 1

a1 < a2 < b1

	shared_x := 5 | 7
	print(5)


## Ruta 2

a1 < b1 < a2

	shared_x := 5 | 7
	print(7)


## Ruta 3

b1 < a1 < a2

	shared_x := 7 | 5
	print(5)