Added removal functions to remove states and transitions from LTS.