Enhance GlobalOpt to be able evaluate initializers that involve stores through