There is an issue with the verifypn engine:
https://github.com/TAPAAL/verifypn/issues/133
Bug watches keep track of this bug in other bug trackers.