See description here:
https://github.com/TAPAAL/verifypn/issues/141
Bug watches keep track of this bug in other bug trackers.