succeed1
succeed2
6 states 2 scans 2 shifts 3 reductions 0 compares 0 ambiguities
( a  b )