cmr.addExplanations(explanations);
cmr.setInvalidFlag(true);
list.add(cmr);
continue;
}
<BUG>if (useRules) {
ByteArrayOutputStream bost = new ByteArrayOutputStream();</BUG>
PrintStream oldout = System.out;
System.setOut(new PrintStream(bost, true));
tkb.setRulePrefixes(this.rulePrefixes);

cmr.addExplanations(explanations);
cmr.setInvalidFlag(true);
list.add(cmr);
continue;
}
if (useRules && ccomp.hasRules()) {
ByteArrayOutputStream bost = new ByteArrayOutputStream();
PrintStream oldout = System.out;
System.setOut(new PrintStream(bost, true));
tkb.setRulePrefixes(this.rulePrefixes);
