The dependency digraph for irreducible finite-range random walk in free groups | Synapse