A =   <x>X  .
X :  B | C *common* .
B =  "b" <d>D  .
C =   <d>D  .
D =   .
Main =   .
Count_C_Visitor =   .