Implementando ejecutar y retroceder paso para el evaluador.