sclass RuleFailInfo {
  IfThen rule;
  SS matches;
  Exp remainingConditions;
  
  *() {}
  *(IfThen *rule, SS *matches, Exp *remainingConditions) {}
}