Member predicate TranslatedFunctionCall::hasReadSideEffect

predicate hasReadSideEffect()