Positivbeispiel: Kein gleichzeitiges Verzweigen und Zusammenführen an Gateways