codice_1 y codice_2, y las dos son ciertas en dichos puntos de la ejecución.