B : C | D common <h> H.
C = String E Ident.
D = E.
H = Boolean V.
E = . 
V = .

// String and Boolean should produce the same complain
// TBR violated by C