fix: comparison to current dummy index count in FunLevel

All other cases in FunLevel check if the dummy index code is > AN.IndDum,
rather than >=. Fixing this comparison fixes Issue 710. Commit 079398e
changes >= to > in all the other cases, presumably the INDEX case was
missed by accident.

Author: jodavies

sources/proces.c

@@ -3619,6 +3619,10 @@ SkipCount:	level++;
 						// If the term was modified by WildFill, set RepCount.
 						if ( term_changed ) *AN.RepPoint = 1;
 						AT.WorkPointer = ow;
+						// Most other calls to ReNumber reset AN.IndDum to AM.IndDum first. Here it is
+						// not done, but doing it is one way to fix Issue #710. The fix that is actually
+						// implemented is to change a comparison in FunLevel and then a reset of
+						// AN.IndDum appears unnecessary here. But maybe one day this comment is useful.
 						ReNumber(BHEAD term);
 						goto Renormalize;
 					}

sources/reshuf.c

@@ -222,7 +222,7 @@ void FunLevel(PHEAD WORD *term)
 					else {
 						if ( *t == -INDEX ) {
 							t++;
-							if ( *t >= AN.IndDum ) {
+							if ( *t > AN.IndDum ) {
 								if ( AN.NumFound >= AN.MaxRenumScratch ) AdjustRenumScratch(BHEAD0);
 								AN.NumFound++;
 								*AN.DumFound++ = *t;