If statements in sequence diagrams