Note, the caveats section of my post where I explicitly rule out any two character sequences as being trivial sequences. So 'ab' fails. As for 'abaabbbaaaaabbbbbbbbaaaaaaaaaaaa', yes it should fail and could be added, but I wasn't going for an exhaustive test suite, merely a few examples to get started with.