Expressions/ExprHasNoEffect.ql