In cases like if True: or if False: (or any case where we know the truthiness of a branch test), we should assume that only the possible branch is taken.