A list of variables that are defined but not referenced by any rules, suggesting they may be unnecessary.