Member predicate TranslatedFunctionCall::hasWriteSideEffect

predicate hasWriteSideEffect()