Where is go used in your example? If it isn't, should it be dropped together with the rule?
Simon, didn't we discuss a similar problem a while ago? I vaguely remember that the conclusion was to drop all local rules in CoreTidy? or CorePrep? because they can't possibly be used anywhere but they keep things alive which would be dead otherwise. Max, wouldn't that solve this problem?