Being member of a group that is a member of another group should make the first one a member of the third one. At first sight, I see no problem in nested groups.