Member predicate TranslatedCall::TranslatedCall::hasWriteSideEffect

predicate hasWriteSideEffect()