The problem seems to be that after the change of int range is not propagated to the arc expressions and to tranisition guard expressions - they still report the old integer range.
The problem seems to be that after the change of int range is not propagated to the arc expressions and to tranisition guard expressions - they still report the old integer range.