RuleStart_a_0->PlusBlockStart_3
PlusBlockStart_3->s2
s2-A->BlockEnd_4
BlockEnd_4->PlusLoopBack_5
PlusLoopBack_5->PlusBlockStart_3
PlusLoopBack_5->s6
s6->RuleStop_a_1
RuleStop_a_1-EOF->s7
