New algorithm for computing ownerships that takes into account UNWIND-INSTRUCTIONs.