Predicate SourceVariableImpl::trackFieldOrProp

Holds if fp is a field or a property that is interesting as a basis for SSA.

• A volatile field is never interesting, since all reads must reread from memory and we are forced to assume that the value can change at any point.
• A property is only interesting if it is “field-like”, that is, it is a non-overridable trivial property.