State machine uses cluster which holds data in shift register. Sometimes during refactoring some fields in that cluster are not used anymore, but remain there.
Visual Studio, for example, during code compilation gives warning if some variable is not used. Same is for NI TestStand (Sequence Analyzer).
Maybe, it could be helpful to have similar functionality either as part of JKI SME, or as separate VI Analyzer test - it will simply search, whether all data from the cluster is used in the JKI State Machine (means, that it is bundled/unbundled somewhere).
Difficulty could be if this cluster is used in subVIs, because script should check then all cluster usage paths.