Added support for execution machines crashing