Syn: synthesized attribute with initializing equation
Attribute value: true