Added reak nondeterminism in the example
Fixed a bug where a transition could have been added multiple times to
the same state.
This does not mean that a state cannot have two transition with the same
label reaching the same state, but that those two transitions cannot
have the same transition ID.
Fixed a bug.
If a transition was created, but not added to the system (because the
system already had the SAME transition but with different ID), such a
transition was still present in the list of all the transitions, but not
used.
Added multiple transitions with the same label and starting state to the
example for LTS