#100 Actions cause a "time race" failure in verification

In the attached model I use action boxes, but that is causing "Time Race" failures in verification, although there isn't any time race.

[Vojtech Rehak]

thanks for posting. it's really wrong....
the old version 0.5.3 works fine.

added to night tests

[Vojtech Rehak]

Fixed in 0.5.4.1 - just released. enjoy.