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