https://5dok.net/document/4yr45l8q-property-based-testing-rebel-semantics-the-generated-code.html