[StoreStore]
<volatile_store>
[StoreLoad]
<volatile_load>
[LoadLoad|LoadStore]
<final_field_store>
<end_of_constructor>
[StoreStore|StoreLoad]
[LoadStore|StoreStore]
<lazy_set>
[StoreStore]
<volatile_store>
[StoreLoad]
<volatile_load>
[LoadLoad|LoadStore]
<final_field_store>
<end_of_constructor>
[StoreStore|StoreLoad]
[LoadStore|StoreStore]
<lazy_set>