If condition in sequence diagram