Timing Report: Reports false max delay path

Tapasco sometimes reports the wrong max. delay path: Instead of the path with violated timing constraints, it seems to report the first, or the one with the greatest (pos.) slack.

Example: timing.txt