If and else in sequence diagram