docs: @Override
  	public RandomVariable add(RandomVariable randomVariable) {
  		if(randomVariable.getTypePriority() > this.getTypePriority()) {
  			// Check type priority
  			return randomVariable.add(this);
  		}
  
  		return new RandomVariableDifferentiableAAD(
  				getValues().add(randomVariable.getValues()),
  				Arrays.asList(this.getOperatorTreeNode(), OperatorTreeNode.of(randomVariable)),
  				Arrays.asList(null /* this.getValues() */, null /* randomVariable.getValues() */),		// For ADD we do not need all arguments to evaluate the differential
  				null,
  				OperatorType.ADD,
  				getFactory(),
  				typePriorityDefault);
  	}