code: @Override
      public void sawOpcode(int seen) {
          try {
              switch (state) {
                  case SAW_NOTHING:
                      sawOpcodeAfterNothing(seen);
                  break;
  
                  case SAW_EQUALS:
                      sawOpcodeAfterEquals(seen);
                  break;
  
                  case SAW_IFEQ:
                      sawOpcodeAfterBranch(seen);
                  break;
              }
  
              processLoad(seen);
              processLoop(seen);
          } finally {
              stack.sawOpcode(this, seen);
          }
  
      }
docs: implements the visitor to find continuations after finding a search result in a loop.
  
  @param seen
  the currently visitor opcode