RedundantCode/ExprHasNoEffect.ql