modified coset enumerationsimplify the set of relators