Re: [rules-users] Rule Static Analysis/Verification