Make better use of the PHINode API.