This AttributeVisitor redirects unconditional branches so any common code is shared, and the code preceding the branch can be removed, in the code attributes that it visits.