Remove dependency of AbstractDomain