Так правильно. Условие проверки выполняется первым. Фрагмент alt оценивает существующие условия через охранников. Эти охранники могут содержать что угодно и иметь отношение к тому, что происходило в любое время (и не только напрямую).
Личное примечание: графическое программирование на самом деле не серебряная пуля, как это хвалили в 90-х годах. SD - это хорошо, чтобы дать обзор взаимодействующих объектов. Но когда вы пытаетесь go детализировать (например, при использовании фрагментов), вы вскоре обнаруживаете его недостатки.