State-merge in ||-operator.
Added getter and setter for states of an lts (have to be implemented)