RuleStart_a_0->BlockStart_3
BlockStart_3->s2
BlockStart_3->BlockEnd_4
s2-{A, B}->BlockEnd_4
BlockEnd_4->RuleStop_a_1
RuleStop_a_1-EOF->s5
