docs: public @CheckForNull
      InstructionHandle getSuccessorOf(InstructionHandle handle) {
          if (VERIFY_INTEGRITY && !containsInstruction(handle)) {
              throw new IllegalStateException();
          }
          return handle == lastInstruction ? null : handle.getNext();
      }