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

Better fix for the rule attributes cache.
Merge branch 'master' into tutorial
fix broken tests