Predicate UnusedModuleVariable::unused_global

predicate unused_global(Name unused, GlobalVariable v)