/** Add all the rules and tabling instructions from an existing rulestore into this one. */
public void addAll(LPRuleStore store) {
super.addAll(store);
tabledPredicates.addAll(store.tabledPredicates);
allTabled = tabledPredicates.contains(Node.ANY);
}
