Added Event-B simulation deadlock exception and termination cleanup.