Figure 10: Comparison of the number of statements in total (LOC), in the summary slice and in the reduced slice. The used program variants deal with double faults.