Propagación de constantes casi terminada