See the descrption at:
https://github.com/TAPAAL/verifypn/issues/140
Bug watches keep track of this bug in other bug trackers.