much much faster deletion of temporary states and their transitions
Merge pull request #7 from nelly-hateva/changes

much much faster deletion of temporary states and their transitions