That sounds about right! Might pass this bug report along to the PuzzleScript Plus dev as it seems to be an issue with PS+'s 'goto' command in particular, and how it interacts with user state history. Thanks for looking into that.
