Add vector clocks to make visualization easier