add write-after-write hazard detection