Module Cached

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

Holds if the value defined at SSA definition def can reach a read at cfn, without passing through any other read.

Gets an access to source variable v.

Holds if call may change the value of field or property fp. The actual update occurs in setter.