Predicate UndefinedPlaceHolder::not_a_global

predicate not_a_global(PlaceHolder use)