int p = state.otherStatementsInput.readInt();\r
int o = state.otherStatementsInput.readInt();\r
if(!exclude) {\r
- if(state.excludedShared.contains(o)) {\r
+ if(state.pending.contains(o)) {\r
+ System.err.println("excluding garbage statement " + s + " " + p + " " + o + ", object resource is garbage");\r
+ } else if(state.excludedShared.contains(o)) {\r
System.err.println("excluding shared " + s + " " + p + " " + o);\r
} else {\r
\r