Reverse order of the two branches at end of a basic block if it is profitable.