No podemos sustituir codice_1 por su valor, en el método codice_2, pues suprimiríamos el efecto lateral de incremento dando un estado del programa diferente al original.