context XDSSDDocument inv: self.recordTarget->size()>0