A conditional branch with default predicates is not allowed. It must be inserted
as an unconditional branch so it can be analyzed as a barrier.