You can use already existing variables `tb` and `tbn` here, and it could be rewritten to:
`!init && tb->ty == Tsarray && tbn->ty == Tvoid &&`