Updating reexecution counter maximum