Renamed TensorDomain as ProductDomain