A Declarative Debugger for Maude