isDynamicDeadlockReached - overflow bug fixed