Predicate ShadowGlobal::first_shadowing_definition

predicate first_shadowing_definition(Name d, GlobalVariable g)