Cost-Sensitive Debugging of Declarative Programs