function showParts(Graph $g)
{
    echo "\nDisjunct: " . ($g->isSplit() ? "YES" : "NO");
    $p = $g->getParts();
    echo "\nParts: " . join(",", $p);
}