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