Uml sequence diagram if then else