B : C | D common String.
C = String.
D = Ident.



// C, D violates terminal buffer rule