Why do you say "It is not an error to share a Sequence in different mappings but with different Values for increment_size"? Actually I fully expect that to be illegal.