add checkRedundantAccess rule