Member predicate TranslatedCall::hasWriteSideEffect

predicate hasWriteSideEffect()