added a special rule: in mutex analysis, we cannot insert temporal links between one vertex and another vertex that may delete the first. The forbidden temporal link goes from the cfr to the deleted