refactor code taking Cartesian product of results to a sub

The said untrivial code will be reproduced in traversers of users who wish to see all results so it seems to be better called as a glade method.