docs: public void analyzeInstruction(Instruction ins) throws DataflowAnalysisException {
          if (frame.isValid()) {
              try {
                  ins.accept(this);
              } catch (InvalidBytecodeException e) {
                  String message = "Invalid bytecode: could not analyze instr. " + ins + " at frame " + frame;
                  throw new DataflowAnalysisException(message, e);
              }
          }
      }