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