docs: private static void handleEqualityComparison(
        boolean equalTo,
        Node leftNode,
        Node rightNode,
        SubNodeValues inputs,
        Updates thenUpdates,
        Updates elseUpdates) {
      Nullness leftVal = inputs.valueOfSubNode(leftNode);
      Nullness rightVal = inputs.valueOfSubNode(rightNode);
      Nullness equalBranchValue = leftVal.greatestLowerBound(rightVal);
      Updates equalBranchUpdates = equalTo ? thenUpdates : elseUpdates;
      Updates notEqualBranchUpdates = equalTo ? elseUpdates : thenUpdates;
      AccessPath leftOperand = AccessPath.fromNodeIfTrackable(leftNode);
      AccessPath rightOperand = AccessPath.fromNodeIfTrackable(rightNode);
  
      if (leftOperand != null) {
        equalBranchUpdates.set(leftOperand, equalBranchValue);
        notEqualBranchUpdates.set(
            leftOperand, leftVal.greatestLowerBound(rightVal.deducedValueWhenNotEqual()));
      }
  
      if (rightOperand != null) {
        equalBranchUpdates.set(rightOperand, equalBranchValue);
        notEqualBranchUpdates.set(
            rightOperand, rightVal.greatestLowerBound(leftVal.deducedValueWhenNotEqual()));
      }
    }