Circular: self circular synthesized attribute
true