make simplified
digraph always computed ready to write out to a file