Add coverage for ModuleRef.global_variables