Modelica.Electrical.Digital.Examples.Counter3 differences from the reference file