TransientState.numReexecs

How many times the program has reexecuted itself.

struct TransientState
uint numReexecs;