Rename SpecInfo to RuleInfo (upon SPJ's advice).