By default, nodes and edges can have different colors.
Nodes are gray by default, but they can be colored differently, using the color attribute in the input files.
Edges can be black, orange, or red.
Black edges: allowed dependencies.
Red ones: violations.