Inductive relations offer a powerful and expressive way of writing program specifications while facilitating compositional reasoning. Their widespread use by proof assistant users has made them particularly attractive target for engineering tools such as QuickChick, property-based testing tool Coq which can automatically derive generators values satisfying an inductive relation. However, are ge...