RedundantCode/DeadStoreOfField.ql