What is the rationale for this check? Isn't it covered by the matching of logical shifts? But either way, if it is indeed useful, can you invert it and early return to keep nested scopes down.