Reported by Ferdy Hanssen: When I use a ranged integer variable q, the engine
will detect a possible deadlock when this integer is at its maximum and I try
"q := q + 1" or "q += 1" at a transition. But it will not detect a possible
deadlock when I try the update "q++" or "++q" and will leave q at its maximum
value. Is this intentional? It behaves similarly when q is at its minimum and
I try to lower it with 1 in analogous ways.
A fix has been checked into CVS.