Fig. (18)
FSPN Translation of If/Else.