infoset diff view not consistent with final infoset at end of run #115
Description
The final backtrack of an array element doesn't show in the infoset diff view's final display.
In the picture below, the left is the "final infoset", the middle is the prior-diff and rightmost the new-diff windows.
You can see that the final infoset is correct. The new-diff window does not reflect that the final element being added was retracted by backtracking to get the final infoset.
