Predicate ShadowBuiltin::first_shadowing_definition

predicate first_shadowing_definition(Name d, string name)