RuleStart_a_0->PlusBlockStart_5
PlusBlockStart_5->s2
PlusBlockStart_5->s3
s2-A->BlockEnd_6
s3-B->s4
BlockEnd_6->PlusLoopBack_7
s4-action_0:-1->BlockEnd_6
PlusLoopBack_7->PlusBlockStart_5
PlusLoopBack_7->s8
s8->RuleStop_a_1
RuleStop_a_1-EOF->s9
