Maybe I'm having a dumb day here but I'm not following... is the code block there the intended behavior or the exploit? In the case you mention, both conditions are false...
Microbugs always look like that. Weird stuff pops out of our brains when transcribing ideas about rules into logic. The overwhelming majority of such thinkos are clearly wrong and don't work, or often even build. And sometimes you get bugs that take a while to find because the case where it would fail is an untested edge case.
And then, once in a while, one of those edge cases...
