Well behaved property

A property is well behaved if it does not do any of the following:

• Run an get/set accessor method that modifies or reads the heap or throws an exception.
• Return different values at different times, even if not explicitly written to in code visible to Prepack.
• Does not return the same value as the most recent visible write to the property.