Debugging 'Buggy Search #3'