fix bug related to relabelling and mutability
Performance improvement

Changing the order in concat, yields faster fail traces, and append rather than prepend helps FF performance
utility methods on TransitionSet