More fun with policed branch detection