isUnpredicatedTerminator should treat conditional branches as unpredicated terminator.