There is ambiguity around empty identifiers.

Why not just include a BNF grammar?