RuleStart_a_0->s2
s2-{A, B}->s3
s3-C->s4
s4->RuleStop_a_1
RuleStop_a_1-EOF->s5
