derivation-ok-restriction.2.1.3.a: Error for type 'aa....aa'. The attribute use 'bb....bb' in this type has an effective value constraint which is not fixed, and the effective value constraint of the matching attribute use in the base type is fixed.

This is an error for type aa....aa. The attribute usage bb....bb in this type has an effective value constraint that is not fixed. The effective value constraint of the matching attribute usage in the base type is fixed.