ddc-core-flow: when generating size scheme, make quantifiers unique