A group description should (according to the uprove doc) contain a
generator...