Une branche d'entrée simple, single-sortie twoway qui définit une condition, spécifie la transformation à exécuter si la condition est remplie et, éventuellement, si elle n'est pas et retourne le contrôle à l'instruction qui suit immédiatement la construction globale dans les deux cas.