Bei der Abbildung einer bedingten Verzweigung kann zur Ressourcenminimierung ausgenutzt werden, dass die Zweige niemals gleichzeitig ausgeführt werden (mutual exclusion). So kann für den Fall, dass in jedem Zweig eine Addition ausgeführt werden muss, darauf verzichtet werden, zwei Addierer zu implementieren. Es reicht ein Addierer, der durch den Steuerpfad für die arithmetischen Operationen des jeweils aktiven Zweigs verwendet wird.