docs: void checkLabel(final Label label, final boolean checkVisited,
              final String msg) {
          if (label == null) {
              throw new IllegalArgumentException("Invalid " + msg
                      + " (must not be null)");
          }
          if (checkVisited && labels.get(label) == null) {
              throw new IllegalArgumentException("Invalid " + msg
                      + " (must be visited first)");
          }
      }