StyleCop verifications