> "State:" Pending
  "Symbols:" 0
> "State:" Fact

> "State:" Pending
  "Symbols:" $any
> "State:" Left

> "State:" Left
  "Symbols:" 0
> "State:" Right

> "State:" Left
  "Symbols:" $any
> "State:" Left

> "State:" Right
  "Symbols:" 0
> "State:" Pending

> "State:" Right
  "Symbols:" $any
> "State:" Right

> "State:" Fact
  "Symbols:" 0
> "State:" Pending

> "State:" Fact
  "Symbols:" $any
> "State:" Fact

> "Expected End State:" $state
  "State:" $state
> "Test passed!"

> "Expected End State:" $state
  "State:" $other
> "Test failed..."

>> "Expected End State:" Pending
   "State:" Pending
   "Symbols:" (
       0 1 2 2 5 2 2 2 3 2 4 0
       1 1 1 2 1 1 0
           3 1 1
       0
       1 1 1 2 1 2 0
           1 1 1 3 1 2
       0
       1 1 1 0
           4 1 1
       0
   )