Member predicate TranslatedCall::hasPreciseSideEffect

predicate hasPreciseSideEffect()