function assertPositiveDifference extends Modelica.Icons.Function; input SI.Pressure p; input SI.Pressure p_sat; input String message; output SI.Pressure dp; end assertPositiveDifference;