(a) Precision of 4 control flow structures
(b) Average precision
(c) Two TPSTs
Figure 8: Quality study.