fix write-after-write hazard checking