* tests/php/codegraph/dupe.php: