* PHP-7.2: Add missing SKIPIFs
Correctly handle the case of duplicate predecessors, by removing the duplicate predecessor and corresponding phi node operands. For the future, it would be better to instead allow duplicate predecessors and avoid this kind of fragile code...