more updates to an abstract domain