--TEST--
Handling of pi nodes when replacing a predecessor
--FILE--
<?php
function test(bool $a, bool $b) {
    $byte = '';
    if ($a && $byte > 0 && $b) {}
    unknown($byte);
}
?>
===DONE===
--EXPECT--
===DONE===