If else in sequence diagrams