Fixed SVG export for empty Graph. Added "draw unproper inclusions" in
SVG export.