Allow to call the diverge transition in diverged state.

It should allow to get more conflict in case of concurrent transaction.