When loop rotation happens, it is *very* common for the duplicated condbr