declarative rule constributions for state machine vars
add dep for analyzers runtime