Since VISL CG-3 already points out unused sets, we did not add such feature in our tool.
we noticed an unexpected benefit when we tried to use the set definitions from the grammar directly as our readings: this way, we can discover inconsistencies even in set definitions that are not used in any rule.