Fix a problem that occurs when PHI nodes have multiple entries for the same predecessor