Sequence diagram if then else