Consider this grammar $($with the usual conventions$)$:

S A $|$ B

A a

B A $|$ C

C B

Is C a reachable variable?