When the "true" and "false" blocks of a diamond if-conversion are the same,