59 states 41 scans 21 shifts 38 reductions 2 compares 0 ambiguities
((( a  b  : )( b ( +  b ))) ; )