fix write-after-write hazard detection