Defined predicates for DECLARATION-ENTRY and LOCATION-DECLARATION-ENTRY.