Group.isNormalSubgroup with first tests