Added computation of the cancellation graph. But might have to restart everything in a different fashion.