Text this: Depuración declarativa y verificación heterogénea en Maude