interference graph, liveness changed to Location*