sclass ExecutedRule {
  RuleWithParams rule;
  LS output;
  LS facts;
  LS newInput;
  
  *() {}
  *(RuleWithParams *rule, LS *output, LS *facts, LS *newInput) {}
}