Member predicate TranslatedCall::hasReadSideEffect

predicate hasReadSideEffect()