DIV, SPAN
the matcher will not match
DIV, DIV, SPAN
because it starts matching at the first
DIV
, fails to match SPAN
at the second, and never
backtracks to try again.
It is also possible to have a set of complex patterns that when matched in
parallel will miss some possible matches. Running multiple times will catch
all matches eventually.