Predicate not_a_global

predicate not_a_global(PlaceHolder use)