Apparently `dot` has a long lasting bug (recently fixed) which is the
root of the non-determinism:

https://gitlab.com/graphviz/graphviz/-/issues/2510