SAP reported a fix for an issue with missing anti-dependences after call_catch_cleanup. call_catch_cleanup clones nodes that are between the Call and the CatchProj into all the successor blocks. Antidependence is computed before this point and only inserts edges for nodes in the same block. Once nodes are added to a block the antidependence must be recomputed in that block. The fix is to track when nodes are cloned into blocks and to recompute the antidependence on those blocks.