varid = var.getID();
roleid = varMaps.get(var.getID()).getID();
if (!checkTypeCompatibility(tkb, varid, arg.getID())) {
logger.debug(arg.getID() + " is not type compatible with variable: "
+ varid);
<BUG>explanations.add("INFO "+tcomp + " is not selectable because " + arg.getID()
</BUG>
+ " is not type compatible with variable: " + varid);
typesOk = false;
break;

varid = var.getID();
roleid = varMaps.get(var.getID()).getID();
if (!checkTypeCompatibility(tkb, varid, arg.getID())) {
logger.debug(arg.getID() + " is not type compatible with variable: "
+ varid);
explanations.add("INFO "+ccomp + " is not selectable because " + arg.getID()
+ " is not type compatible with variable: " + varid);
typesOk = false;
break;
