normal execution tool updated. sometimes it produces a data race report
on "create3" test program, but it is hard to reproduce. There can be a
data race happenning while calculating the vector clocks.