Add invariant that no subindex is empty