if (!bost.toString().equals("")) {
for (String exp : bost.toString().split("\\n")) {
details.addExplanations(exp);
}
}
<BUG>System.setOut(oldout);
KBObject invalidProp = tkb.getProperty(this.pcns + "isInvalid");</BUG>
KBObject isInvalid = tkb.getPropertyValue(tcomp, invalidProp);
if (isInvalid != null && (Boolean) isInvalid.getValue()) {
details.addExplanations("INFO "+tcomp + " is not valid for its inputs");

if (!bost.toString().equals("")) {
for (String exp : bost.toString().split("\\n")) {
details.addExplanations(exp);
}
}
System.setOut(oldout);
}
KBObject invalidProp = tkb.getProperty(this.pcns + "isInvalid");
KBObject isInvalid = tkb.getPropertyValue(tcomp, invalidProp);
if (isInvalid != null && (Boolean) isInvalid.getValue()) {
details.addExplanations("INFO "+tcomp + " is not valid for its inputs");
