Predicate DeadLocals::exprHasNoEffect

An expression without side-effects.

predicate exprHasNoEffect(Expr e)