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 read, without passing through any other read.

Gets an access to source variable v.

Holds if the SSA definition def assigns to out/ref parameter p, and the parameter may remain unchanged throughout the rest of the enclosing callable.

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