Refactoring due to changes
Update

Documentation update. terminateState renamed to killState.
Documentation update