example of false negative in happens before algorithm