Or the following input:

aa|s1
bb|s1
bb|s2
cc|s2
cc|s3
aa|s3
cc|s4
dd|s4
aa|s4
[download]

Yields a ["s4"]. How to interpret that result?