Set<ATermAppl> explain = abox.doExplanation() ? rule.getExplanation(atermTranslator) : Collections
.<ATermAppl> emptySet();
try {
compiler.compile(normalizedRule, explain);
}
catch (UnsupportedOperationException uoe) {
throw new RuntimeException("Unsupported rule " + normalizedRule, uoe);
}
}