S -> A B | C B
B -> D D