Delete ConcreteDomain.hpp