Agregando la evaluación de la precondición al comenzar la evaluación.