Overwrites the existing exit points with the given ones, taking care of cds: the existing ones stay if the replacements only happen in some branches.
Overwrites the existing exit points with the given ones, taking care of cds: the existing ones stay if the replacements only happen in some branches.