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