docs: public NullnessStore uprootAccessPaths(
        Map<LocalVariableNode, LocalVariableNode> localVarTranslations) {
      NullnessStore.Builder nullnessBuilder = NullnessStore.empty().toBuilder();
      for (AccessPath ap : contents.keySet()) {
        if (ap.getRoot().isReceiver()) {
          continue;
        }
        Element varElement = ap.getRoot().getVarElement();
        for (LocalVariableNode fromVar : localVarTranslations.keySet()) {
          if (varElement.equals(fromVar.getElement())) {
            LocalVariableNode toVar = localVarTranslations.get(fromVar);
            AccessPath newAP =
                new AccessPath(new AccessPath.Root(toVar.getElement()), ap.getElements());
            nullnessBuilder.setInformation(newAP, contents.get(ap));
          }
        }
      }
      return nullnessBuilder.build();
    }