correcting set conflict detection