C = .
S : A *common* <s_ident> Ident.
A : B | C *common* <a_ident> Ident.
B = <b_ident> Ident.