something went wrong when I changed subgraph cluster 0 to:

    subgraph cluster_0 {
        a0 -> a1 -> a2 -> a1;
        label = "process #1";
    }