Renamed MyAbstractDomain