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
the update
"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.