StateMachineBuilder for UNORDERED patterns

+a new test case