-- Do not check postconditions as they may access default value. $EWEASEL_DOTNET_SETTING