This adds the handling for the case where the address of a static local variable is used to initialize another static local. In this case, the address of the first variable is emitted as a constant in the initializer of the second variable.
-verify