code: @Nullable
      @Override
      public DefaultQuery<I, D> doFindCounterExample(A hypothesis, Collection<? extends I> inputs) throws
                                                                                                 ModelCheckingException {
          final DefaultQuery<I, D> result = propertyOracle.findCounterExample(hypothesis, inputs);
          if (result != null) {
              LOGGER.logEvent("Spurious counterexample found for property: '" + toString() + "'");
              LOGGER.logCounterexample("Spurious counterexample: " + result);
          }
          return result;
      }
docs: Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.
  
  @see PropertyOracle#findCounterExample(Object, Collection)