Predicate UndefinedPlaceHolder::initialized_as_local

predicate initialized_as_local(PlaceHolder use)