6.5.3 Abstraction of Hybrid APTC with Localities