sclass ExecutedRule {
  RuleWithParams rule;
  LS output;
  LS facts;
  LS newInput;
  
  *() {}
  *(RuleWithParams *rule, Collection<S> output, Collection<S> facts, Collection<S> newInput) {
    this.output = asList(output);
    this.facts = asList(facts);
    this.newInput = asList(newInput);
  }
}