code: public void skip() {
          int we = wEnd;
          if (wOffset == we) { //requires special handling
              //if no variants at 'wOutside',advance pointer and clear
              if (top == null) {
                  wOffset++;
                  flush();
              }
              //otherwise, if there exist a variant,
              //don't clear(), i.e. allow it to match
              return;
          } else {
              if (we < 0) wOffset = 0;
              else wOffset = we;
          }
          //rflush(); //rflush() works faster on simple regexes (with a small group/branch number)
          flush();
      }
docs: Sets the current search position just after the end of last match.