1Test a regression where DeadPhiHandling would produce two equivalent phis of 2the same type, prohibited by SSAChecker.