st-props-correct.2: Circular definitions have been detected for simple type 'aa....aa'. This means that 'aa....aa' is contained in its own type hierarchy, which is an error.

The reference for the simple type aa....aa has an infinite loop declaration. This means that aa....aa is in its own type hierarchy, which is an error.