Reverting buggy state transition (initializing with terminated_untimely)