Added AbstractDomain