docs: private void attemptMatch(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator)
              throws DataflowAnalysisException {
          work(new State(basicBlock, instructionIterator, pattern.getFirst()));
      }