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