@NotNull
    @Override
    protected BetterPrefixMatcher createCopy(PrefixMatcher original, int degree) {
      return new AutoRestarting(myResult, original, degree);
    }
@NotNull
    @Override
    protected BetterPrefixMatcher createCopy(PrefixMatcher original, int degree)