-
they can appear before their `Local_init`, e.g. in a `SizeOfE` in the size expression of a local array. Furthermore, we weren't really checking that declared locals weren't used before the block in which they were supposed to appear.
they can appear before their `Local_init`, e.g. in a `SizeOfE` in the size expression of a local array. Furthermore, we weren't really checking that declared locals weren't used before the block in which they were supposed to appear.
