Enrich test.check-generated structures