Figure 14.

Use case 3b - synthesis graph pruned by the SGP algorithm. Note that the input graph to this use case was the one shown in Figure 11B unlike in the case of all other use cases where the graph shown in Figure 11A was used as the input graph.