Fixed the bug that merging two equivalent tokens has side effects.
Originally, all labels of the source token were moved somehow into the
target token. This also includes the SElementId which is strictly
forbidden. Thus, I adopted the moveNode method by adding a boolean
parameter which states that SElementIds should be ignored during moving.