you are right, but the reason the code looks that way is to make it analogous to isSafeBypassingInference() and isPureBypassingInference()
The code being the same look makes it easier to review. They should all be refactored together, not one at a time.
Will refactor as next PR.