По этой логике построены права доступа у меня. Потом я через побитовое и сравниваю права пользователя с правами этой процедуры, если права процедуры не изменились после побитового и , значит такие права входят в права группы
Так сравнивай, просто напиши по-человечески, явно.