add more information to isValidDescriptor invariant error