Message sequence diagram if statement