Esta última fórmula hay que retocarla si el código a analizar presenta varios puntos de salida o "returns", pasando a ser: