much much faster deletion of temporary states and their transitions