Comment 1 for bug 1686327

Here we know a is False because it was assigned with a literal. But what if it's the result of a function call, or even a more complex expression?

Have you encountered this in the wild?