detecting needed temporal relations and race conditions caused