It seems there are two choices:

1. Before applying a numerical value to a Boolean test, ask whether it can ever be zero when that's not the intent of the test.

2. Create a new rule that forbids testing numerical values as though they're Booleans, and break nearly every program in existence.

Hmm ... wait ... I'm thinking it over.