Number of potential failure groups after first flow-insensitive stage: 4 Number of potential failure groups after flow-sensitive stage: 1 Number of potential failure groups after second flow-insensitive stage: 1 ACTUAL dacapo.eclipse.Main.HasNext.tracematch$0: potential match, 0%, features [] - vector[0;0;0;0;0;0;0]: Potential points of failure: next - @ line 923