srecord RuleFailInfo(IfThen rule, int succeeded, SS matches, Exp remainingConditions) {}