Delete AbstractDomain.hpp