Apparently `dot` has a long lasting bug (recently fixed) which is the root of the non-determinism: https://gitlab.com/graphviz/graphviz/-/issues/2510
