Number of potential failure groups after first flow-insensitive stage: 1 Number of potential failure groups after flow-sensitive stage: 1 Number of potential failure groups after second flow-insensitive stage: 1 dacapo.eclipse.Main.ReaderTest.tracematch$0: potential match, 83%, features [CALL, CONTINUATION, NO_CONTEXT] - vector[0;1;1;0;0;1;0]: Potential points of failure: readR - @ line 375 Related program points: closeR - @ line 370 create - @ line 350