srecord RuleFailInfo(IfThen rule, int succeeded, SS matches, Exp remainingConditions) {
  toString {
    ret succeeded + " succeeded, " + "remaining: " + remainingConditions + ", matches: " + sfu(matches) + ", rule: " + rule;
  }
}