Member predicate DirectEval :: mayAffect
Holds if this call could affect the value of lv
.
predicate
mayAffect
(
LocalVariable
lv
)