Changing to Abstract Zones