@@ -209,14 +209,16 @@ digraph replacement {
     }
 
     a -> a_d [dir=back];
+    a -> b_d;
     b -> a_d [dir=back];
     b -> b_d;
 }
 -->
 
 
 Order of operations:
-1. `B` is destroyed AND `A` is created
+1. `B` is destroyed
+2. `A` is created
 1. `B` is created
 1. `A` is destroyed
 
@@ -314,6 +316,7 @@ digraph replacement {
     }
 
     a -> a_d;
+    a -> b_d [style=dotted];
     b -> a_d [style=dotted];
     b -> b_d [dir=back];
 }
@@ -340,6 +343,7 @@ digraph replacement {
     }
 
     a -> a_d [dir=back];
+    a -> b_d [dir=back, style=dotted];
     b -> a_d [dir=back, style=dotted];
     b -> b_d [dir=back];
 }
Original file line number	Diff line number	Diff line change
`@@ -209,14 +209,16 @@ digraph replacement {`
`209`	`209`	`}`
`210`	`210`
`211`	`211`	`a -> a_d [dir=back];`
	`212`	`+ a -> b_d;`
`212`	`213`	`b -> a_d [dir=back];`
`213`	`214`	`b -> b_d;`
`214`	`215`	`}`
`215`	`216`	`-->`
`216`	`217`
`217`	`218`
`218`	`219`	`Order of operations:`
`219`		-1. `B` is destroyed AND `A` is created
	`220`	+1. `B` is destroyed
	`221`	+2. `A` is created
`220`	`222`	1. `B` is created
`221`	`223`	1. `A` is destroyed
`222`	`224`
`@@ -314,6 +316,7 @@ digraph replacement {`
`314`	`316`	`}`
`315`	`317`
`316`	`318`	`a -> a_d;`
	`319`	`+ a -> b_d [style=dotted];`
`317`	`320`	`b -> a_d [style=dotted];`
`318`	`321`	`b -> b_d [dir=back];`
`319`	`322`	`}`
`@@ -340,6 +343,7 @@ digraph replacement {`
`340`	`343`	`}`
`341`	`344`
`342`	`345`	`a -> a_d [dir=back];`
	`346`	`+ a -> b_d [dir=back, style=dotted];`
`343`	`347`	`b -> a_d [dir=back, style=dotted];`
`344`	`348`	`b -> b_d [dir=back];`
`345`	`349`	`}`