Unfolding of the attached net loops - problem in the verifypn.
Bug watches keep track of this bug in other bug trackers.