find_examples: checking more bugs-subsumption on negative examples