Number of potential failure groups after first flow-insensitive stage: 17 Number of potential failure groups after flow-sensitive stage: 7 Number of potential failure groups after second flow-insensitive stage: 7 dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 100%, features [] - vector[0;0;0;0;0;0;0;0;0;0;0;0;0]: Potential points of failure: next - @ line 145 [] Related program points: next - @ line 145 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 100%, features [] - vector[0;0;0;0;0;0;0;0;0;0;0;0;0]: Potential points of failure: next - @ line 550 [] Related program points: next - @ line 550 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 100%, features [] - vector[0;0;0;0;0;0;0;0;0;0;0;0;0]: Potential points of failure: next - @ line 483 [] Related program points: next - @ line 483 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 100%, features [] - vector[0;0;0;0;0;0;0;0;0;0;0;0;0]: Potential points of failure: next - @ line 271 [] Related program points: next - @ line 271 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 96%, features [] - vector[0;0;0;0;0;0;0;0;0;0;0;0;0]: Potential points of failure: next - @ line 124 [] Related program points: hasNext - @ line 114 [] next - @ line 124 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 89%, features [OVERLAPS] - vector[0;0;0;0;0;0;1;0;0;0;0;0;0]: Potential points of failure: next - @ line 62 [] next - @ line 67 [] Related program points: hasNext - @ line 61 [] dacapo.eclipse.Main.HasNextElem.tracematch$0: potential match, 67%, features [CALL, CONTINUATION, DELEGATE, PPF_CALL, PPF_DELEGATE] - vector[0;1;1;1;0;0;0;0;1;0;1;0;0]: Potential points of failure: next - @ line 152 [CALL, DELEGATE] Related program points: hasNext - @ line 128 [CONTINUATION, DELEGATE] next - @ line 152 [CALL, DELEGATE]