docs: public boolean isNullOnSomePath() {
          int baseKind = getBaseKind();
          if (NCP_EXTRA_BRANCH) {
              // Note: NCP_EXTRA_BRANCH is an experimental feature
              // to see how many false warnings we get when we allow
              // two branches between an explicit null and a
              // a dereference.
              return baseKind == NSP || baseKind == NCP2;
          } else {
              return baseKind == NSP;
          }
      }