ct-props-correct.3: Circular definitions detected for complex type 'aa....aa'. This means that 'aa....aa' is contained in its own type hierarchy, which is an error.

The complex type aa....aa has an infinite loop declaration. This means that aa....aa is contained in its own type hierarchy, which is an error.