more abstract domains