Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs