Implement PR1777 by detecting dependent phis that