Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming