[rules-users] Rule Static Analysis/Verification