Nondeterministic black-box group algorithm for abelianness testing

Idea and outline
The idea is to apply the conversion of black-box group algorithm dependent on generating set to nondeterministic black-box group algorithm to the black-box group algorithm for abelianness testing given a generating set.