/* First check if here was a Lamport violation, that is, two