Branch Coverage Won't Prove the Collatz Conjecture