Did we decide not to use "avoid"? If it is not the case, then I'm not
sure I understand why the following amb is not dealt with from the
parser itself.
"sizeof" "(" TypeName ")" -> UnaryExpression {cons("sizeof1")}
"sizeof" UnaryExpression -> UnaryExpression {cons("sizeof")}