Better fix for the rule attributes cache.
Merge pull request #1240 from kframework/fixRuleCache2

Better fix for the rule attributes cache.