Transition

Condition

c01

c03

c04

else

c12

true

c21

c23

c34

true

c44

true