a.b7 states 2 scans 2 shifts 3 reductions 0 compares 0 ambiguities
( a  b )