WI #1268 Avoid duplicate outgoing edges in recursive graphs

Ported from original commit 2c91f8a

Author: fm-117

TypeCobol.Analysis.Test/BasicCfgInstrs/CGM110.dot

@@ -34,17 +34,6 @@ label = "{PARAREC. Block21|    add 1 to n\l    display n\l    if n \< 3\l}"
 Block22 [
 label = "{Block22|       display 'before perform'\l}"
 ]
-Block12 [
-label = "{Block12|       perform pararec\l}"
-]
-Block12 -> Block21 [style=dashed]
-
-Block13 [
-label = "{Block13|       display 'after perform'\l}"
-]
-Block15 [
-label = "{Block15|    display 'terminate'\l}"
-]
 Block24 [
 label = "{Block24|    else\l       display 'not done'\l}"
 ]
@@ -54,8 +43,6 @@ label = "{Block25|    display 'terminate'\l}"
 Block21 -> Block22
 Block21 -> Block24
 Block22 -> Block12
-Block12 -> Block13
-Block13 -> Block15
 Block24 -> Block25
 
 }

TypeCobol.Analysis.Test/BasicCfgInstrs/IX105A.dot

@@ -46,17 +46,6 @@ label = "{PARAREC. Block38|    add 1 to n\l    display n\l    if n \< 3\l}"
 Block39 [
 label = "{Block39|       display 'before perform'\l}"
 ]
-Block18 [
-label = "{Block18|       perform pararec2\l}"
-]
-Block18 -> Block33 [style=dashed]
-
-Block19 [
-label = "{Block19|       display 'after perform'\l}"
-]
-Block21 [
-label = "{Block21|    display 'terminate'\l}"
-]
 Block41 [
 label = "{Block41|    else\l       display 'not done'\l}"
 ]
@@ -66,8 +55,6 @@ label = "{Block42|    display 'terminate'\l}"
 Block38 -> Block39
 Block38 -> Block41
 Block39 -> Block18
-Block18 -> Block19
-Block19 -> Block21
 Block41 -> Block42
 
 }

TypeCobol.Analysis.Test/BasicCfgInstrs/PerformProc1Recursive0.dot

@@ -46,17 +46,6 @@ label = "{PARAREC. Block65|    add 1 to n\l    display n\l    if n \< 3\l}"
 Block66 [
 label = "{Block66|       display 'before perform pararec2 in pararec'\l}"
 ]
-Block26 [
-label = "{Block26|       perform pararec2\l}"
-]
-Block26 -> Block55 [style=dashed]
-
-Block27 [
-label = "{Block27|       display 'after perform pararec2 in pararec'\l}"
-]
-Block31 [
-label = "{Block31|    display 'terminate in pararec'\l}"
-]
 Block68 [
 label = "{Block68|    else\l       display 'not done in pararec'\l}"
 ]
@@ -84,17 +73,6 @@ label = "{PARAREC2. Block71|    add 1 to n\l    display n\l    if n \< 3\l}"
 Block72 [
 label = "{Block72|       display 'before perform pararec in pararec2'\l}"
 ]
-Block34 [
-label = "{Block34|       perform pararec\l}"
-]
-Block34 -> Block65 [style=dashed]
-
-Block35 [
-label = "{Block35|       display 'after perform pararec in pararec2'\l}"
-]
-Block37 [
-label = "{Block37|    display 'terminate in pararec2'\l}"
-]
 Block74 [
 label = "{Block74|    else\l       display 'not done in pararec2'\l}"
 ]
@@ -104,8 +82,6 @@ label = "{Block75|    display 'terminate in pararec2'\l}"
 Block71 -> Block72
 Block71 -> Block74
 Block72 -> Block34
-Block34 -> Block35
-Block35 -> Block37
 Block74 -> Block75
 
 }
@@ -136,11 +112,12 @@ Block29 -> Block60 [style=dashed]
 Block30 [
 label = "{Block30|}"
 ]
+Block31 [
+label = "{Block31|    display 'terminate in pararec'\l}"
+]
 Block65 -> Block66
 Block65 -> Block68
 Block66 -> Block26
-Block26 -> Block27
-Block27 -> Block31
 Block68 -> Block29
 Block29 -> Block30
 Block30 -> Block31
@@ -173,28 +150,15 @@ Block26 -> Block55 [style=dashed]
 Block27 [
 label = "{Block27|       display 'after perform pararec2 in pararec'\l}"
 ]
-Block31 [
-label = "{Block31|    display 'terminate in pararec'\l}"
-]
 Block28 [
 label = "{Block28|    else\l       display 'not done in pararec'\l}"
 ]
-Block29 [
-label = "{Block29|       perform pararec3\l}"
-]
-Block29 -> Block60 [style=dashed]
-
-Block30 [
-label = "{Block30|}"
-]
 Block24 -> Block25
 Block24 -> Block28
 Block25 -> Block26
 Block26 -> Block27
 Block27 -> Block31
 Block28 -> Block29
-Block29 -> Block30
-Block30 -> Block31
 
 }
 Block1 -> Block24 [style=dashed]