default transition --> S1
stream : 00
last   :^
current:^
transition S1 -| 0 |-> S2
stream : 00
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 00
last   :^
current:  ^

>> recognized 0
>> committing
stream : 00
last   :  ^
current:  ^

default transition --> S1
stream : 10x
last   :^
current:^
transition S1 -| 1 |-> S3
stream : 10x
last   :^
current: ^
transition S3 -| 0 |-> S2
stream : 10x
last   :^
current:  ^
transition S2 -| x
stream : 10x
last   :^
current:  ^

>> recognized 2
>> committing
stream : 10x
last   :  ^
current:  ^

default transition --> S1
stream : 01100ab
last   :^
current:^
transition S1 -| 0 |-> S2
stream : 01100ab
last   :^
current: ^
transition S2 -| 1 |-> S3
stream : 01100ab
last   :^
current:  ^
transition S3 -| 1 |-> S3
stream : 01100ab
last   :^
current:   ^
transition S3 -| 0 |-> S2
stream : 01100ab
last   :^
current:    ^
transition S2 -| 0 |-> S2
stream : 01100ab
last   :^
current:     ^
transition S2 -| a
stream : 01100ab
last   :^
current:     ^

>> recognized 12
>> committing
stream : 01100ab
last   :     ^
current:     ^

default transition --> S1
stream : 101
last   :^
current:^
transition S1 -| 1 |-> S3
stream : 101
last   :^
current: ^
transition S3 -| 0 |-> S2
stream : 101
last   :^
current:  ^
transition S2 -| 1 |-> S3
stream : 101
last   :^
current:   ^

>> rejected
>> rolling back
stream : 101
last   :^
current:^

default transition --> S1
stream : abc
last   :^
current:^
transition S1 -| a
stream : abc
last   :^
current:^

>> rejected
>> rolling back
stream : abc
last   :^
current:^

default transition --> S1
stream : 110
last   :^
current:^
transition S1 -| 1 |-> S3
stream : 110
last   :^
current: ^
transition S3 -| 1 |-> S3
stream : 110
last   :^
current:  ^
transition S3 -| 0 |-> S2
stream : 110
last   :^
current:   ^

>> recognized 6
>> committing
stream : 110
last   :   ^
current:   ^