add purge-abstract-locations