code: public static <I> boolean incrementalStructuralCover(DeterministicAutomaton<?, I, ?> automaton,
                                                           Collection<? extends I> inputs,
                                                           Collection<? extends Word<I>> oldCover,
                                                           Collection<? super Word<I>> newCover) {
          final int oldCoverSize = newCover.size();
  
          incrementalCover(automaton, inputs, oldCover, Collections.emptySet(), newCover::add, newCover::add);
  
          return oldCoverSize < newCover.size();
      }
docs: Computes an incremental structural cover for a given automaton, i.e. a cover that only contains the missing
  sequences for obtaining a complete structural cover.
  
  @param automaton
  the automaton for which the cover should be computed
  @param inputs
  the set of input symbols allowed in the cover sequences
  @param oldCover
  the collection containing the already existing sequences of the structural cover
  @param newCover
  the collection in which the missing sequences will be stored
  @param <I>
  input symbol type
  
  @return {@code true} if new sequences have been added to the structural cover, {@code false} otherwise.
  
  @see #structuralCover(DeterministicAutomaton, Collection, Collection)