Fixing branching in CU * BAUX