A declarative debugger of incorrect answers for constraint functional-logic programs